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 # 4L< ]%]UTP-Toolkit:threads=4elapsed=20.529cpu=76.076gc=2.140factor=3.717zXZִF! ']ŗXf1-q恈NucvAݪ4 c?[ݍ#pdTMR^e!n1X5=%N$ISf!.NL ¸흹hUkWph K,/{!mƗ+?񴆂&`Ȧ]a[,(YQQ>n % ©8fmI_5zY>=0w(V0=>[ws+l߰GQm^ъ-$F\#pV1 mJWr?Dhѥ{2:#t\F%gBt6Z6v]EYDTuºYHk2^M >qVk էLX{CO⫢U87 N|;LJ \;Q[P@{g0z_ [U~ۺɏ#U7 ^W. ]Zx3Sg,G*qv-obׁ KQ֏("TФ!QJZ&P/Uco@gA_8U}.;Y(":\ nV`lN@f:oh88R xHN&ә⛹M:/^AяZ&Az%ƒV]Gs;@-boXz NsgYZ7zXZִF! ]ŗXiɟ.z+ j5PYSRtRPt5K{b :yњ P䘌paL D@JyDKi[$hDf繳8b߁oJE`jp.I m^3JAe3}8>?\c H̸MS^TsbjcBQoev;ڹIa|Q? LX'7ᡜG8ju- j]0,*Tdci+`FdlJ"}?MzoFE٬i\3E(&`kͫN{ɲ_Uaxyrea~ /Id. $emgYZ7zXZִF! C ]ŗXi%G> 7?.Ua {9%*z!6ڒ9N?YT"2nf;=^|7~MA{ \7ˎj:4\Ljp"F{X yRN!jrq:Sw'd|EmjZ0yK[5Ӎi&]+ I)4'q43كiXym`0nW=kǀ;ZS@sU"eu+g`R &ks}82 qk,S3쩗o svtAPQ3pHοE*(g:apYXkR-K9Ji]fW?d!,#+ҍ -RWϏ*0칯GH?ѷS  FLAyuQk6$=*،#Z5o>ԶUOmZ:f<:SD2;;e&7uH@P#ۉb—kEB%ϫ7}GffOo-;K|v ޗk++WqbR_|2āj[ <e3PqDy3Ğ1n“myo=<G$^}7խMBۭŸd+gali!`&7iꥡN_[)YF^l:ߧ7K" bxpryc}nc(M*/t܅)KӯB]!U_k8V3HZPˬKLܼ+,a\`xܝLcIR/t`͹v] c9p!=2L3-^s8D"P4 qW[?c^UN6^nrym =Jf۬!⛇Py%x1~]U _˛js/ IJ ġ;[_W},I-o3%S+x?˿i8 6_2Eڤ'V.MIr]ܘCHӲvݙ|4\EUGZGp 1rԁY iHVRAcs{QHeUQ]2Hq^TwRB=NZ`kwcLHTGKy=qoPέE:|NoaKCnޓ-r|\"X;]L[krVrcXBKEZq<>ymTSbƗ,^IRvE%Pi1st)Et&qogu7Ly3HV+JkBbc9D=jkCxH2g}P9sY Geqi7&)/PgsSz֥1屖KFŵ{yPEB4k_]".VO@>%$_|K1/ P{wEM>(ZiQ~{p.>W@yqepߐ jTZmntK )~|t"'7jfU1BUTӫ`7٬Nx oضa'_/m⒅ĐQ_v'ᱩfNM1Lx7s2IWA  .Rl' P]&65h2(C}rcT9}uK5b+vq5y@Pvvl\vD4uIиy!˸fe^snw*֮