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 44I L<  IOA:threads=6elapsed=7.777cpu=31.276gc=0.948factor=4.027zXZִF! P]]ŗXf1-qN50^ .nEށܱsO.($.hg/[(xZtD|gT"%=Q ![#*|g hR菉dcI@rڦyt(aE nO^~.9^mMyKW%Sk5P_Uu(P9Mr.r4.H(9sbZ Z=V695(ho~ , S+r6 #r'u_q揱vh-ųQgֳ\(ٍQk*Y:U*9%ʇ@Wznf΋ii - (XQ`%"oj13s/J8Cᑨ uzuB4\^5J M;E2Qboi'fuM&qQU_v98-hh{qa)O>BZ~snfR6`I3rIH[ OSXQJRV:5]&m˱$ 䥱gYZ7zXZִF! ']ŗXi%8^uӫG+Z [+RtB'5xN?7"+ 0@,N*OR휮³IL}oH/-u/^K0]L^}{~u}xL5_9`->x1ֈʸ0wl˺-s%QJ-Fh 1 20?2Fe_'#c3$:-1b- \۵HYMZ g1p6oslKbCWp\vAxCɖY5 C~@u 3 1LօJq<+nfưpL>dz=pwSRt툿OH.1Q4u/.Z.eWϼY{MxH]eAȐ`{b` j{s* ll\ӱ kˌR˚ԖL9)I*[!¿2Q,qa-D|Ej7`ܚW%vϓv ~ͰvEMk`e`_S 8p'2Χᮉ8jV+uyAMR2--ilߍ جfS{Xtޤ_sVn"%h^pazfEÅf$Z橺/S<x'=W!W:dtY!{$d+O5pB ?O0\hz$mlZy+" qi[ ҅zz2 PPoi4\47L3mTx`(P7(:sgѓ1m/^l(A62|hiEDKoX` #xO~EU'gYZ20f478d72a5bcb1fbad9de015615c5c26cbf5f94 220550e733823529c859a6a258e64aa20d62a163 563ba3c0acd73ab3fbd40e39216160d0de8a8a75 7319036ec9b14b681515115059d654c3aaf9b7b7 75423031ef2f690680f016e5066f58335d37a5c8 7cc3e9930e0450f02ff1c420bede3aeb39c372d3 8bd44a73de257dfca1cdfc03ee6fbcff0eb91e24 938d0c484a80e421fb6ae5697e1098725b52e199 9b9a12329672a350731a10b6f071f7d38b0073a2 a11c3093f2f6b7ebe412ec3025bc06061bed7756 a6820028dd578f148c81ff1a1c2b3d8cb4cfc7d1 aa84ecbe31330d8b1d01a40e056125bbbcd123ca adcb01cb026b6f0c3457f2e50bf96234665031f2 aea9862702ac98e9c127ede42162c57c860bae24 c20e06befed5c804ee26a4c681e4a1fff2fa0960 dbba1085e152254111b4f937e379bb956462d610 e3b9e4172c88c8882914e3d4e240442631ad67b6 e6ff1fc226568d2b6cfc085f8139293b3291d2ad e7fe7ee11c7a9648c8119f78c218af6c13c004c9 f49102a3c25e481f4b313086bde8d4c358c3c9c7 f520112865fc85959231a187297106816b2e1bcd f981f7a958c30c1d47ac6857ae9e3f01f9a1811201c92facbb750b67e7694845954c40ee8ae8060f cf4bd480742210ae51d8ef14cc188507d1ffb65d 0ecaea94c613402f267d6030ccd916e9fbb9a45e  IOA