SQLite format 3@ - llB77#tableisabelle_session_infoisabelle_session_infoCREATE TABLE "isabelle_session_info" ("session_name" TEXT NOT NULL, "session_timing" BLOB, "command_timings" BLOB, "ml_statistics" BLOB, "task_statistics" 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   ^? \ / Inductive_Confidentiality:threads=2elapsed=17.691cpu=31.060gc=1.648factor=1.767zXZִF! }]ŗXf1-/6vRZ;P| ^TZ%DAևOt*;tBq[Jr/ws9\n ? Inductive_Confidentiality ~~Oy쏁U0px:(Gx[S/_TbNR64RTi0g.>&' [:NA;HaI׭̸zU^5?M̹^ R } 17~3D e#r n7,jc6ʾA51=Z¶8ty/E fhOIc.NQ"c3ux|md@KGqHjZr'h5GfZ1}%ɁY2i@G=:ˏ<fj Ȝg M>kؘ?;(tڏ4l F4+VGj.L! lܔ"oPʠh-@?0|Qə($pq^!r&;@(PnYEm%UZESݟI} ӌmLfiy@4%f.~ p}}M<gM3TrhT J)+x-yD~+{gr.Z̴-k~¸nO?Wt]y7̿ں$W+crm;a@J: WpMMZ"ML~ vZTDy->*1=VQ#X! gd:_Yxy/Y{`sq,`Q^_WQm I0!3M~L_! d_Qake?"͋wWS45x4. @|b\b6-[T&(6;hn:7Tw{5FH @.MzL^Hxۍ0 p+.)O($ }ABK@97Q3V$9[._R U%vt&uRPc`!aC%LсQĹ$r/Ӯ 7)ЖAwmSF^ً7F?kTb;aBVr!tӺ;UL_FN \OTЂ'G)>+aI;1r:ڑr2OI8ZIhQo@4p<+8eI)Tn)n-=I <\g{ېve-h?segb,8%g/4yv^`MN"ae/ˊTɃ"<ج *V:kt1^AM(A> J1<"YB?-]'GfhϏS`Zw1͠vR ,M }< a~5SNnSqs%UhF%o=`-ou*}^%