SQLite format 3@ .;  B --?tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "executable" INTEGER, "compressed" INTEGER, "body" BLOB, PRIMARY KEY (session_name, theory_name, name))?S-indexsqlite_autoindex_isabelle_exports_1isabelle_exportsh77otableisabelle_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 $/ |44 ] Well_Quasi_Orders:threads=4elapsed=21.033cpu=60.996gc=2.524factor=2.907zXZִF! 7]ŗXf[&*%5r+=~ȳ*FEUy3V2dfflM%mow!fӫ ˤ~AIcj7;S؅vl)nU5Iwl 0Vw#aZU|jhGQ,-b'&9e11?C|˄08 bn m=x8!$ռdmiy ꌠQ=1BcoJoI„!@2ps{K!xx_S;n: ik1U$"MXpM2YRL;fOA$^y8`'h)y^ݕ#J"/U;޶mf[AReg^m R`B-H@eKha9@viǯ^P%{5W݂swLLdOoW2 j&bv3!UL{U+BXo\QlO#%jOmv{Lj[C2^|}-CiKwLGrL~ϹQ`l m|?";&طSYJ|N~dz`vik?*إ^[C (Ś.y,t?{1j';B0`k\*XT8bN@>9*48(=vJ}t%Ta%$p_ni*-&#+R5IVN|OE6c*]Z\ct=& Jh۹=ugYZ7zXZִF! 5]ŗXiɟ㶵fL4i=J|92ms;ә_t6&C%U Kߙ8(A%- v4Ŧ%/-ٗ_7۳, l_g,ÅCufu <0xxiKgv%8:(eA9%kg9"}Lx`Λ8&~$zFȍ0 Hm3Mm`HٔJn'С: ~.E@|fzR:&#WV#[ɔqO~OH?#3PEE2g#xsjq}#A lU8Df~'B>(5`bIKvn4|Xmat]rw:Jd'Q&J2DaE(& _/kj;vn ϓib(*d4+y|3PU\MEcj/(,5:e&Sjӭ>D'gYZ7zXZִF! ]ŗXi%L a8x/c[`/C:6XqCRhib9vS(,Vw'fTkײ(Ȓ U:Kmfd(.w)VFgLDDູVшYu*ۋYpsbDBgRbSyhHȡ<슌<8"&jE!Ynf0[eBb1Rm=$AISTCWUK5%yhOقx(>&BWV"u ãϧ"DlC-Ľym Hg,cϝˋ꣟-"h{ϾhG|5+pܯ`Y0,+?hƟ]l9+7\>yKE|ky4u##VC29sjX4vzH6Zl%\|8DѸ"J!ikFo;>!ak["Y*9?\GaBV{=!wsuTݍ.B8pvY<6$eW=vp'F&0.ʯvId @qĘNwF~&G&9O?38mF3!2\nV!Fkɿ(qGL!GjA<!?ȝKoHpЍ. `Liw rI.Ό?_lUZ_TڬB4n2 C ؔB`O'OzA| [С UWK}r_*WfkhOX̒¾틑-D>.ydV$T[{#(A&{cSځQڡj|{:1{gF3T `vG |R(0^VF_)=c_?M(XO1"UOrKp20|٩۝WbZftVe MT+muᓁ3gp;FP:TgcbFYʄ3|-a >9non?+gyD[C ,k,|!OP,6ro7i[˭