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 lK dT| ]% Random_Graph_Subgraph_Threshold:threads=2elapsed=10.256cpu=19.268gc=0.560factor=1.887zXZִF! j]ŗXf1-/6vR[NDZ1* )# rof [iX7C mZ)u9GuB"N _zmu!ړdA9`')3'K5v>$̼K(;6 xBP/$^ ܜs& V9]8`IT]*0Jr=ҵfB-T_hHggBI ,BJݓddN4E(h6|{7U,,Z^z gYZ7zXZִF! ]ŗXiɟa'}@U0DxxxU hT`? 'lѷŦ98:!*.C,[w[~ezĥ2𽜥뎐`NKgdM]gv<lB~Y,}cid+/u)aGD!)" Ηf.ѹ{OrVfC !<:oo0I2V]pb\>v NzW~n{Pn 93M}V(bَá+=xa(CAR.)b.oi!_5j,.#%s os1Q54yX!=6(qh?pm0^x=P *CPɏ1am@. dKg̨:f73T*L|""q !#Q1tH4=qG]HVxo'*X<3h!(}i=qg.ASI{R)? iUn?s6blWocRtܶꦏon&!C/B6m vԵ68,18i'“++5+WNYwww}RshPwq wzA 'MS53ԏ ! ċb32}=lfߑgU2(HD ΆbSY|b_ZF~ 23j18eb|UcCMU?10*cn>jτ^:P_[г6d[īuXꚾ*i`ix/i>j_? I%r 𛰕~l