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 II,MDt ] Password_Authentication_Protocol:threads=4elapsed=76.725cpu=186.832gc=4.660factor=2.447zXZִF! ]ŗXf[&з#8FQ [o"~[~ȡ Xh\ lKoE_j* x?GI!e2y>Ua.X1_%g|ǷC(UŨS83F\T b$ 򝽩cЎW!*@~yuuLDži,_W~6_lȬ2ߗ9UܽȰ:!Gp`JpL,6Y͸o ,L\p`nۅ)3ZW R +Df=|Kl*=AQ=kBcX7bCq{ܳ(iu ۃ 揝Uqâ>Xi-V٣X榭ThPt+9: jzP" RDb4CCm7Q2~twQ+j7l>}i`鞖n0'AA&5 t?DW`!tL_'HvSƯ?(gYZ7zXZִF! ]ŗXi%L 0Y7 _!Ʀb9avyY&j*t|L)@82Wfn-uyFW?T{{;lEsQJ2?9M'beZ}x*YyeKT_F\]d-DՉt2iS^ʱvbTQ&״`u;k$iQ5" g&Lmo }KU~!~eGM*4S1@. g/SzQ}#3nF ֥qrX5랢BmOkp|/ۧImwϓ|Bձd Uܙ! )I $b<Б1$hM@mX~ޖ5LZCQ eCmwB`u)'Ba=F5WkE#&^`Aq#JC߄H)Ȏ\`֣w_H&ʞE큅N@!bZlT iujcGMGRnodᵩB^F>0eC[9AIΉ"#:2?H67ʣ$Y V絾OܦR £[\EFk*No ?GoZWיh8fDI5bV/+M`d҅Zyzʅ{,Iڔ^eQ*puӧf7dxy h6=;FPE* ۱C+,yY@<%0:P,N?G{H >A1V75|~&-[ѩy!<ՏK ƅVu[OG[Hq0VuPT* m`Rv19D#[NTLF~֑A6Bv=PW3 zL`2;P.Sj"mˁ`KoT^l書R7"HrTdٳ!zq,y?#~gE@YDUx_jpL9cTۣQ`~*FŁ'PD`s=|MgԽ2 Wk K~\*>ӔE&ď[VB .B{@GŸ ERkhzC^ Ԇ"?q' x|߰eA"Kޔ+("9tr֡z[4#*y"F :x##Q'` qcxvPz|ZɅCۚ6¢KW$9KW}fH?+UKV# t-$ydMI8[%FG$Ős6YD<2kBGbY){7C5AQP _d~毱s, umA@цI\P*}iTB|o/*A"b\.qxR] `'8 #M Password_Authentication_Protocol  ZCeU\<ߧ;F6@8%`zٹluopG@)>)w4GFeRF~BLpP杼;}CFos&AEkc|}We-8[>{׺@F 9J.(k?J^\ b>&&OC{y_TBʪmzaS:H%si?{mvSz \zS6ʤJbHhS 9мdKvLD&n?G11Yg'i48{?J &Q}kQGw<%!ݘ֑x6@Q] ] Ue @M: FT% ;tFT}6k{Y?UMmx4Lo'ZIPI՝x@ùnzi[|K Z;P:VIn7ŸA:>{xd: APҔծ/Z$)ѭb D@!d^Evm" * qOj+6,:SR%E< QO~4*?g{S="<-yN-OVw.gH2W3Qa:3Hĥ.{JQ="  ǘM\ch_vtc tϯڗ ݋=G)S?dXG+ԠM5qkC`v璯.UB]c媳$_2tA-jA>xދsܙL |֏Pz6\(<r^Fof+x0uўDZT1k2긢{!L ~bIUwD.{I_{ר&F@Hq cxp274$:`Ҝuu]1ErNvTrRqv3:5w\=渣~ թzW%՟^ /.x5Toƍ<ƶNb9$+Fte+,.do3YWD?ɼoѣ)I,re>R<{5b/Jɘ.>“jXP2o\YOͺYizo~25/^M] 3=C]|v\~NOͷ頤>Wef _W, &S<3_K8SQ}ҚR[t5jS9*k4`%!?Ձ% $}\ƙXK0$]QlU~Y%n٨շ40`Ȧ5`Y.<5Gn f1&6qH!Ȏvu>ԟn$<8PǪ65Ѓ%GMYPr|I +>%Cʝ +}7xdziUs6ew E?+6LYuUR? t4T5ܱ/ [lNZ9JT_gF):R 5"}fGϢ?,ig]b*&WBEݫk{"1W,!oQoz8z3ޚr~glB:ZfG;ڣEK=_zRN|Zy9|(Õl0`&C0Vw SXd2qf!4[qssBSPŻ u}^FCZAjT}ˑEST媁|e@H6V8oޟ(DJ_ 9r?NZ{݀9{p'$ҷX"E[gQGqij:}a*_m"n丿tVlB!Z[we4Ax=D%9,z_M81 F^&tvI1u%^ͭBD۹;;qٕ-b"Rג