SQLite format 3@ .  B p--tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "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  O |t ]S PCF:threads=2elapsed=52.213cpu=82.768gc=2.956factor=1.597zXZִF! x]ŗXf[&u9`&inq9firKoVWx`;xnpw{.Dn5TO~V>'PfڝZ>GVjI r #R doJj ׈TT;[tGnLjEfm‡2(T߸C)`S*˒N`pȉ/ώ=iges~~L7&b ͖78+9r?2eɍ9Do]}Ec/Wʔۿ/P-AS27F|$HЫ\<*!ppkv[ivQb1bQ6594#< _΋LFl[d m i\V3M<1=oAX !j1H-HȈG.RzWwRϴ 3qΟ2;&\Oar傿c:Np$D^ۮ^gYZ7zXZִF! ! ]ŗXi%>g(_džoBR.BJxGkq% Kgjk1|jtcz 0J iPIϋa|=v,,z 9TGfۉP;N_1SA=- I,lF,N@ pVt{l۬" 2Ύr53衋{~fd}dZK^ VU]IQj~x^}bXRe}vnVW9MC泥 dfn;A$W(}'Sg m:)ݺ8|0zywJT*69"n7M&`̫US'_;A]F[ʱQ&HFm')_(1V6_{99h7eWa~)O@EjUE8cЮH; _$1!ɒԠ9[;ݑfCR:TCWŅ؜ZJ@1]aXOgQP@G7 ,XE|v )8s'q5p_UϩXCfu7k X6pF0rOʗJƒ(&(PS*KKp&Hlьmz,B Vk'0v~ J$+Zc~\ {Zr C Gn&Isnœ{<7FƁGN/_LpAV'ۺ-od2"iXDKwg4!_60jɚ't~݅ }-O>o~G o*z4eP,k>GAHw `,h`"2Yލ zv2jVdnLR$H0 e0qaD]P"*p Fނ׏bd+j~{Z 3_sC^ . ڞuo@X #HSu2[!5 #%a?rEJV߼@.S6qYNɉᑣј qm:uB&XKnB1lRuSQ~-80j7JSyxŲjx8Ǒպ=( u)t#<;h-6U&9=0{P 6ϸt9{"auAW;u^˴qg6y[e] }BF=XЅf_X,p/{5Cd@YpaSԫ1Zb͏ȠD}+˱VO_Sא$?:350rIşk>J3Sdiy 8QTK q۫@KL@ft]L_m:HKջGD¹S!FC+rm_}藳*4rgYZ779c5f996cb41b299155ed9a6db421f7870fe7ed0779f416e0333e930b31960d36caa48e35918b68 b6896307526a9838816e0ef6f162a79ce98e509f 7220c8ce702dc58dd05974d008871083c8a1a841 a18ffef0d2854b8ee5e33a8766178cf6bf757b4e