SQLite format 3@ .0:  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 J/ L$ ]% SDS_Impossibility:threads=4elapsed=35.612cpu=88.784gc=1.892factor=2.497zXZִF! E]]ŗXf[&M %_7ԉ y}ث]HpN][9lt*=*w^芅h,xu2",ՙFyڜܞEb"S]s '\tpr)+zYȟRQ!X@'AObsj34KOnT'sO1/Dm# 7vrU3 O[B2 HZ%f=2r&1Qhޥ,-Ճ "Lj`)NXs@ jb(.3yܨw}\`@q9v\P&`E`&,;<1d>XK?AUk7W~qhIm$Es6:҂NjA / SDS_Impossibility  U@' hT ZJ:Ez"ѹx_4/e[*,&h/-u>YNX— HIp؛1:-l:`k J)S5B ('B6G(̊3nykp%>is,L祕&Kuś+_cM^ҊJO XgWZ'uŝӵq 톌M(fW18l>5fν34˽4Z tgYZ7zXZִF! YJ]ŗXiɟբX LT9W"qP}G EyٿGwW\_V~60GQN*) fZ}YZ7zXZִF! Y ]ŗXi%Ge'8W.)<.] {iWA$<:3ͻ;^ȁ ӳ DnD *Z rIU RT'0"g!#B68 ޔ:-˸}{L_PYPDN6IړcݝbIk4ՋxN7.t'زs ,|~WɓGl \$ 1-(Q:9%<ͩyp΢8.$N{~M0,u؇+;THgq,aVR1?u0PpaJoN{Ռ7$ϮyfPe^\FޜAaA`B[e0pjܘ-!,YL$iIO~4<|_Qh_*utY\G!Bv' BF+|>vƮBHas΁Uv=r7ݥWtsp=Sz f؇'\x6"2̸Dl0~`=leOZELQ/oD-?pӂnںlX  H? Opp#~Oeբ\ū9\7= UgJO{8g ZodGcUmsD,0#,&lg|\/rI rLei.3pTp_9X= tuRn#VUptI ugiD_vv3̝o\KMںŭ|xQApq/QGErhhb543̊.0㍧O67f]$v=3 2X7K㽭C v)v4k[YZZ'm\jlԦ勭:H8kˣ\͚43fQR-f? ]ydqj[`(P. I5> D! Jh%;h: A&}88 6 w5VN߉a*zQN kCNj!W-VN,~q,-=׺mMܩ?` S$!< Ok/)c /rC~}fU^Xl ӯK疘.HNO"^/>ԕ{_[qidFaYݑ,:'+6}vf0 4d/[9ZI=X+.\A#{r˲רXYx  };uV7N ϗ4ЮQW(IGU^]~&~BCBj7ܣ=BXry*ύCc[c{_K%4qs E@,@M\+R+-t7 ZΑ04hwFi5fNr5;~1S#tr/!XV%NۼPžztU:YԞVSјa["}e g^}*(" t@ _uG?*z9o6}r$/˽_o}W@W` rz=VDPo%Bu)8<:Z W#w|ig/E=f:SPgrqE8Nj!u>&+2>gxɩc99fp[AղH6c]B~DUp:AժEs4;ǸD'ERP%_^^7.knxP"$أv.ZI1O$:OkP/oMp 9I$}Ƞ[Qb晉@:O%ċ,㭌mPa~rmPp4kFX"9y>N'\R' ݏ. *(qO{@T$W u  nMSN#v;5紓ٖ=ȹbAlݧHZ5!-ez S0,lzjOݘ}&^ǻ~=Kfhk0"Y8Z@9\]#u'FT ޤʚ2vŀD1b1i @SuU U?ib{q]m&5zb#òϯ9 .Ac]f2^î6oXچpo7D*seRu%qhS[.+M]Qt%"t7Bj\sD1Gwn^ +rOX(/ru+HFmAg=X g>X{v*[ΔFwOmcOY22At[v-:#\_LBue<UG,jY@|S.fn:*ðFT^8 Wf(6ykCIS@!β>\ڸ>ϱgYZ6512cb14c2d93b2661df424011e1e830147e70491795f3a7abed9fc1d9546e3552e224994a90ba84 ec123dce693829f016aa17c5552e2b7e72eead89 7b2e61ff0c86e069f55e46d35334d76ef1e809ac f1810695f558cb51134bf4d86a21357b397120ce c5cceb8d7537e28ae9c74abbe5145ca0cb65764c