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 ~~w)
gӞx7uXj6$jDvVA3}?NƆV9+ד[(Jޥ˽J"x L'GK j&'pgA/+NV{f5D@dCO2ă]X5s\A йYG)CʇJ\}7B=䐏_@<eK)1!o E}62y(.j^^/sBlGc5H-~T A><ԩ%<}iL}j^10zEy8ྜpP%9fR rMw>Y'34T ?gV]dϋ"'r{}>Y-E0 e@ZxdjxFf>)Aj1H-+jOhbnΦJC'lK)v\>ڑޤ3ͷYt{KF@~QkJ7FxC>9J!`:O, [,*ӭHF7X 'PpE8Ρڨ:@;yǡM\QRYP{ư*hʰW F"pVQ9Υa;?Lh"C79wl4:^d;ngB*;d"t}z>a-NP7$ֶ:O;V5l sՕ-o +2d+VKppqw 7?^_Y`y`̀Bߐ$ p+'}1"&7#\Wo]VR9-VΎFlծg@S2.Q3[vy:<X14҄Ma3SMY ^%8](l ) Twelvefold_Way  O4hȜ Ar{_bvB2rX&K r:R8'gPO*FaTJ | q<$J\lIޙ? ։2Z@Yӳs"dp;ΫO?(S']Hv:8&w/Roܦ9-\gG4m)ڟbiVwϧ*raP;U;& P_N3ħEӡȶ޻K474Ay٬mLӻ+83'I& v Ef-mPIvneWKãu#N{-k*=MVٟUQsJ XGU,$vc[l9Wic'ݚհhP0tz> 54Kؕa0& INW,O6+h:kCmσmӾ0%vÚgtcjf=hg ؁d"9-+`8ml@$:u# qW,P"ƖzwقxDWhZQ×!ί͸镈yJ0 vKsWcIpըu ]?ٵf u6LGakdHMKDh{'\ax\`G%C@8;`ZlQ=¼+' e\n|E(zwu*=R M|,bgR\"yuEP7Tb-ҜmǸ'֚q60‰(+XNΦe)ASMR Xnp٪vC,dM;pe[|sXsU| N.C/B!A?Rgc>(q g$0G1-rp XnS,.ѦcϔΚ+4d#`g j< Ͷ:aߜOE7"r݄+)tǺ=)- ػ$00 LdT;MX%SgIwna1]~#)fL&ڠ.܇=݅XAZ$H.?1/4H{{ *+wTɒ{ץ}P.YL@+l׻a%YO-T*r&plG^7V~q&y!;ZVK/$ hb) d-vZܣ";[(4$IYSYOjjX\BoyRНȲ=CXVM;ބ߇QwHu; x:rI"sm=n#QY /pIMFI =I`"PlMhl7N|,m]G#xLS^jZ;s(Q/*S B޺ \ }Hل@~H8ۊZyyn(t@q0[H .__s 퍠T 4h= ;G0+wIͧvkU0P!6l ooRi-p:(8us{o Z.I(#Ѧzԅ)WE+{'   @IWd 9')RzVP8b7m}SؑЇyi㢮#p& #>|5(3#,Zj=I<A wZD73;lBAp+# `*Sś%lop}]-XLagRׄ`x[uԖN sZm!w Dڻx:;˿NQ]u Y5F/$Vك׼oeWЃuGIZ.8!;g/Uui(cs5w;ɰ?<3 { H▌cAT42ƈNwy!rXܐ ?K;|r%ayU|hn'Llx= 9m9C=m>ɅX:;9{#eGr!IәK+/)|DyUw(_,Ȅlj#E%X@#,@wl |_+Pi_?S8ĀNzz7) P`z4UqwGLobΕ$y 8|ȟfYQ W1UoQjALu,lz`E5h v>ŜQ6jy҃FӦHhvFR0; GO6}[,dn7(ťS1.L<{._&v3M2OB<[4 B*xǡ:06y|}_~q&;xj tR!*F!^PQ/D-xt/쏱Q,ڹTx3Dv3b˨lNת\R,S{InbBa)"gn[Q*]9!weW'I Iw^ M%:<DaЃQD->ʭ0g W/qaG:e?R~}&pҴ#s[jDx;svj\J^>u僨- e{RLߦ@u&HR2l06[A91\AN9w8gTX*y߬[+))>F