SQLite format 3@ . BBh77otableisabelle_session_infoisabelle_session_infoCREATE TABLE "isabelle_session_info" ("session_name" TEXT NOT NULL, "session_timing" BLOB, "command_timings" BLOB, "theory_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 u/ l, ]c LLL_Factorization:threads=2elapsed=45.715cpu=85.660gc=4.640factor=1.877zXZִF! 0>]ŗXf1-/6vR[8SenH iYʰN}65^i3Eq[U] ,Uq?M) Y4K,kG!'~KH7-2eKFMӏztŜ:G-o?(o&0_ وawvXC_ != .}Q-H<=!] GeUp9;Ti,_fBvO\LP㡿FhDYpv: :OxTR ;£s iQ^LJM;9Iu k_}~^S଱ޜγ]ڣ|HP9{ZL].^5؄/ / LLL_Factorization9os܋D냴qV XC&t4+~|M%J*KB0db  )zWˢXұUryOi7MDջ%}YsOުyV֑U{H\cA `-ip5B.\w2NZ4򍑠OVҧɗ]Z$\ܓ׵BU8%Ongf BmղK^}'xLeC]羁}k1j݁? U+Ri_5h*+&o\۲W>;ś<u?`#~slY;BrpVږJr1 3pOaQtgYZ7zXZִF! ]ŗXiɟH~1 ?evv^B8۲S:ΨilN̪cM}r5*[,s@jBJt] !=dw*M @Siiv:{>>?=x[4p6g:eAW3MDL{Uԫ=ځw[alD\)>{ه.xB,NpPŒHMj o+e!vp̞gYZ7zXZִF! ݒ ]ŗXi%;hD+ID$+'؇<(}Ũ-tmnoL~T"P_qm Smmo8d 9O[Dz^&acoIE{^>u=kوO;HWiȂ `vqOM?Y2X[ >!&ݺqvr ؘKGnFx8;RAum7+NX|'/~FvU3|\ sa݅ҍ1ht $C~ӫP{{y vznw5B5W/s,o . 5Dus(p K|xp)*j|L{]Vq 'Cd&'TJ tTTh?z7g,S JMHSXz"df%/-&@A ‹FR2"[+Z(E I9E{z̰_IuEx9jbcST `/*) zXAw~6#*/-o62,i\Oš(}"U9J:[:UMn2Hَ!z?k[UYL.TǧQzQ@zڮs/2A~g#~B&Qۆ;z>-]x,J-`1rБ`QNI!|X6oȴ4T_ o3KSb6iq~J((J3: c!LGb3DD|sv3[W-g7ɈzC .-fv+S3@˜~VXA0U='IS$Wij>ЩseMp12wfSݺ.C R|ן^toBwZ\cݽl˚$[[/֐"؋՚Y4Dj|=TDe?RuU~5s- Rw &vV]<"s+Bymg=9f-6{~; |d(Z|y[幠ZEw\ZBb0=&S5O+T:4-i0JkOb1lCC˅ЭՁ"ܯ\ s)]X~c5VZ?3gpm{`Z\kNer[ۉȏy6v[Ml8OBm-B[0a-~(C@ )P~yQ3o2{Wz{&&EPB0R8ӡد:+ԥf ()?q*!ev?>+& ;o_t㲾R<<d Ԩ`/W"K,M0G|0J1 ERF Z%x˭>0묪:7}X8N~qqgYZc6a6919bdb1c1b6d4178f1d6f238ed0cac6b6f9819483222939fc489952fa9ff470a43a5bdddd767 6fb5181067c76ae090b98814e5ff8a3a2ed813cf 05722cafa430ad5d32034406e0ef9a6274c6ffc0 8386aa35c465c1bf7e052e4c0016ed8cb4d6f45f 4125950bdf88602b91cdc82eb61b324fa9ff64d9 1eacdab45e72b77c657b29f0f896366435c2344b 5a771cee28ac5e62d5d2befc072c4f6fb4cf4dd3 8e939cae77510d2cd3e3e70f1fb907ccd74cfdca 87617417ab8ddf3e7e4aaac3e37d97628cfa8620 401632beff95bd89c07e5434758ed1869c648204 e11e092823bcc7d1ad02ab579e9892beba80b4c5 b11dcbf00ab31dd9641f8a66c74376a55ec10d86