SQLite format 3@ .  YYQ77Atableisabelle_session_infoisabelle_session_infoCREATE TABLE "isabelle_session_info" ("session_name" TEXT NOT NULL, "session_timing" BLOB, "command_timings" BLOB, "ml_statistics" BLOB, "task_statistics" BLOB, "errors" BLOB, "sources" TEXT, "input_heaps" TEXT, "output_heap" TEXT, "return_code" INTEGER, PRIMARY KEY (session_name))I]7indexsqlite_autoindex_isabelle_session_info_1isabelle_session_info 67l O HOL-Datatype_Examples:threads=6elapsed=82.658cpu=300.296gc=26.360factor=3.637zXZִF! RA]ŗXf1-q恈&!&ʁG_f @lEZGwa krju\ KQw*S݄M>W{!e< y#O'T3 0sWlu"zzAt2t?Oߏ0)uGiK]f &GQCN_BCi\sa@#5!ivHՊy % qL U_r9.zTOk^;{5f&FN+D;~BC*$j++/sg 7 HOL-Datatype_Examplesۅ vaCUt\=G&̜gY tz!pi M3͞_ >jXx"^ 氉- 2Mوj$*VDC 8 F4YxOؑ3EW:΅Ҽ9S?g8 _hѤPasI|14kT=l;pޓ!l8@ T 06*v'橣|q#UE\PwIq˜e? jKpsQ[@?ʦ1 DhgL)WSs>!dӋ`BiHYÆeFXn^c`j]0c761E5kК - V%ת\ ' aX[/IDK1f`;ij_z͞ ƠE Ct96aB_Yz.ԗkk3YQAG.@[4Jcm-S+Ux#u;ƷpK.6}daVZSp{ ?;a rH+WsU yoٹQU# (XA{)w<~V=wuhgr>y0g<^doc|I.-b Qrp0H)Ѵ͖j\Y{Ui46a}R&g"ID9nY^Hs|7T-Od@R ^/Dc3t#'QvX^݊HOvȧ4I:i_+Pp7O/ ^T*L ӎ:AA5z,15ڦ~w3n C,mo9(0޳דoʄ6Z^УU‘b``oʾ558{$,rePbds Zn^NqeW.XhExB/-3] W哥B zUwSr9=(`:b@qv"R<rLD>KRMs/2?~>1FMs]59^QmD6puLQ3|bl+7GzȞ[345ơZZ~Fo#E|Ĭkjq*d>lB)J񖶿fn쁘N1ZSUN ΖQ`f@y]qʍ QHŗg]8TFu*;wۇRԜOh;=S)rX&Z/EKJͳ= ?kB().ت0u6YI$=K}q|0t`YA1'!Uۋ3ih(cD -N% bgYZ7zXZִF! w%]ŗXi%6ѶbVtK2OxdKOžށ[})R8]IvzOF9kR(G\j^eryf~OADkXӟ%.SO:GgG "Fɻ8%R&7&ӑ3ўػUEm)kv+\Yr*{o;; WW--Gޣ:16LlK}*V<ŽV"#yAԂӑ>Ƅ7[h>1AV V3TϓfNR`-kPJSb/\ЃcE"8;y:{uLIdHWXܽQRQ#-`6Y/odu &5lW[N做VE(l߳fl7a:o^]!KZs;ב/9:7qM$,3R%Ft'7$I]ndM\ 'J_q-έ"(ǍR%HLEE|Sf}W=[u|kLWmIH=uaG/C+I ! Q-| mgc, (Z…K-9b^JǣrbSRȭ\-qqrA#h* b,ĄSޤfC7W?wVi\m؁ #W7"(F]>2} 0S^3epqqq/ ~/DTr(aEƤj5S=0:SA;Z:3|b/)0Kwu.CrHڡJ U(#_H@'ytT0;CI _=)7lɘxv병p6܇#Y@3b)}Wl*n[PcmSiOy~_ 6ɂn:\, @r\l?82[q5?b.*_+9'OҿGB"Y5д'j )!R*tg=[裋ZSS~T3MR.ZD~xRe XiK)OkkcUt]wJ,kjYۈ_ߊBloxW7:ǺNҏ)0B9UG + ]<3d&6 % ͸@3'OyMH ݊*5@ rۏv>WEZn<k2IQPlj4C\EZDh]2]@c1;\~£{AYE_]y] q":.vPuS.gd3&XV.Ty!0WXv>w"?_T>ꉅ_v,+'>D2e_evqtZ_2ve_Q^c|3u\.EW~(c.LE9ӽy!1By#Vpf蹲E/&9IU2OcBj Q|=Lz.wF Qu:7UƳEѐA KZM/9{vve!Vn8J8.4`j{C!#d\/m*ZI?giOe1`3ԡ/M|n07G?J=w/\.}\}%ʐR)G񀼶wyw5SOe;K7TbNZl8ܴ-خ ®񮜡 L$?[Ai,jP|"#2c֗K6nKNFCc':Kfɋ%rkZ6 %Ua <7 kȧB׼D:U6xuN`Q͵F #-w2 ~{Pܝl%R?&*MȌ[ERh߿륱 hOIts¨OPڲS3D%f53>2|$ۨ^~h"Ԡʙ2;FhOi&ͧ;0a-7cU5}'wV1!.nTNQ,;xh-%!?xax2Yԓ b" )Tle;Y(ΞI;vt<{_w/?30s4gYK~Gתy!C}) aZ^S7KfyRv-_8Vpx::&]d{Y)wv+y!k5L3ADjj|HtV`77D,-y5Eި oɯէUj#ZqQK96}ɴ,P"fR&~xHrTm+k`gYZ076c2b898c9dd24810b5307f054ebdfccd515102 111bd506a747a8d2148e6b1fa1f81695380436da 188772c8cc0763cb926fbc73250592b3d1fc2fd7 1a7acfcb263843f9a678c1ce0c07dd60492f5098 252d167e0a4018cbc7d576d359d0e9c6ee845c4b 4ba8e906db1b7173fd60af78c700c4afd9103c3c 5ebed541cfcf29e3e43ff346c453a6e1b69b5793 5fc73a9c2bb9c6f5cfe3b1b6cc4a8d5b018f0361 627eb9ab35dfce8bf8e47915e55c4315626ac403 70d9ea874231a0d1f29fe736dab1cfaed4d7e7db 76b3b2909a380b81f0a6dca81ca22aea5b019f36 abcffe35b50e769314d17a49e69cf2b76e6a124d c30b02fbcfd250c7a4bff57f0a40fbe5a596e36f cfb98c1ba5973e23987602a8e62e6815ba583dfe d1ac231ee93e58fa03edbb65a38283926432d0b8 d5fca18ac4191c95387bf634e3449c39abc4710a d87e1167ff8cf68de3c424e365ef2c57bb8abaf1 e3ad14e1344af2ffa265f0e446036ea14665e0f24dbf67159a593b2086dfa23682656ac9bdef67e9 e685f0313d3d431de5462d46b1d0468390c590ac 6d63624117467d94cdbebd9346cbbae0f211d11c