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   t ]/ Heard_Of:threads=4elapsed=25.020cpu=82.080gc=3.048factor=3.287zXZִF! )]ŗXf1-q恈͐7ӺV 4{ŴH}UCkAFgվ_\×׾HF+;$l (e:Qg.1j*J_mZu` jvA_I?y)TwnZ:jQ%`#}Sm>s#J^"ldUlْ#6gJ Kè@wi8:rV^p:Xc'}3lv-4Y9ػmO |ț(fYa: v!EPIڠ2!VnPIẎte:aQFo-m1PL?PΡ)l1^ΕڿaKjC/Zjw %݋',/<7;'QlƤgS\#T^U"~Eݮ/ѳ`ʒ' u]8(LHwFboGm5Z[CA? v馅76G@Oh#Տ?KBR|s۟풰|OW욮lPA"<&3T=Js S؀gYZ7zXZִF! ]ŗXiɟ T50d.~En.yWM͓'LT֙pnzQ_lK y(ժt[-(XaWq s7lUx atrmq,4d _"tu#zF@6@y~:)Z b |TD gKW!MgΔ1ghlfV<9kDO"Ƭ6* QUx>lhyNKUpouN]򼻱&rJuA{XEl7|>58'${qm©jԼAĂ@eѵZhōи3EqG8>6I|, رgYZ7zXZִF! a 2]ŗXi%L 0WρF m`w;_|:D!|tMEQz>ΐHv-aȤM.-,ufs3q&J^ cݐ$P=| ˵z;N{/4^X¨f#A“%o}`ű6'rā`j81 !\鳘K&3gȼ=N *G}hG\gȭ P 8/;m=a]\3B"-y7U壴+X#- $R[L0Ϧ:M⛒=q(J?ǘ/"f#L;>xYK9"P~;%㮴 ]_YGdI, 0OU ͞4}wc2='B,=zL+emxӪc4ݓS,QS'Ȋ_7@;]]<˻qQǻ@!?[M H7\޷t6hdjn޸eӓS;A-q!>N29iS``LbZecwe#n(bf$Le|@+v( [z̹]MW[E8W_&=rT2E 5.5q!Qi̫C \C c2ƒق@J\ηIod׎kvȣSseL`š1NDT$t&˦;AU{Acd GHhyWTuc"0TTp#E&j\r; a/OA_wpwAl. 4=`}r~0] 1b$2K؇U,]y_ lQ 7#F:1""3jpaGeMgn6NF^%' fBvxuڌ p[,e4Ev5pO(/D/fM$#Mf[%Dqz˯b?}I FMଦ8fzM3؄CpRDe ?Ȍ-?h43GEؐ;A&LyeWrl3 TDx'v%b\Ԭzۏήý| Ra"(0 !@N !jTGFqE(uoj"J%~e ]Mk?ICq##Q<tx1- .ݳ"9؆_U8r9ҳ͵0ы˅MdrDOǢmZ}7! Gag8noj}j3 0IE6ϓK*C\Yd߳{yX#[I` sQYm7xУ=pGb9&=~TM1<*b'y(ZZDu20~b?|Α5*N#wO"lV&&|a@ɷ9D9'mQn|@3%LG"&(eW OΨ9]߭)s᜜eL789G*l6ΩrgG"I*@/_Q?}oDT^S[[XCt)EHo4>~re_ҘdޥR`2an%@?DHFC;pnBB6(e pU?@oݗ/ }˩RI9%B\ހ _sKR o" ӭ5I]pr*b5w~z~ Kt5x1[WKqipY 1# k*Rk־x„o;ж$-L;'V(,0PŎ:W4{錋xr9 E;\\8U(:x;Vۥ$)^+IHs{tK|܌btd_ <9/rg߱C< q:ǻK$ql5u'>s9LPG! V1X:>ڭɊd:fesʵ}9?L[ư  }4Kw0CY P]Bzy#%8UUWV<\Ke{-'iK}736lF󗷉Ra#x6~Pp;%QUAk YzP/ _vjruČ-.Ag1M'Y..^=2ʬ2xŮy4hb͛k/Cm/:ˉu+tlX`_~]Ŧt =qł;Y+Hh@ 2v>t`HN=(]*5=0Fl N Fd7=/}5lDMN=P^ZDgYZ01f9acfb986786be6deb119d1a56af48b2db7ff2d3f90704504dab3f9fc94e3d143d1180eb260c4a f6ffa714dac548bd1fa745e8527624877a3ec1f3