SQLite format 3@ . BBh77otableisabelle_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 #/ <4D ]/ FeatherweightJava:threads=2elapsed=11.430cpu=21.016gc=0.888factor=1.847zXZִF! ]ŗXf1-/6vRZ9@{q$Szyj߫iII_ EVsPsxM5!S9ik!e ŏ$m+MҝK 3@pAwJ2{]Ou=y 7+#m2j@ЅhլmE#gBa6!V`[-P!?]ч ~X/gJcjeZ_b;Jy)ZZ8$r??Qַ4a3&޺Y6I C<8,a&w=ńI3&~73?Ņm?'z'YN-_T{+5bji-0Kt=ylUBO"s{*a:Fyn`$$gYZ7zXZִF! ]ŗXiɟ6>*NWk,@uO#Qki<`uiZ#N^i/|*Zܷ`_A':j~@@ p M>՜#ѧ"ȫdܶ5G8G'2xE_5u#!gYZ7zXZִF! FY[]ŗXi%;ܵ-ƩpnQ;5+' rİnv=pa91FqSW0 tA(Gqv_UJ U )@Ņ S֟EgMl5O.N#Ioa]=G9.pP"?OUe5Z껷_48?o`C0Unxv%{zlp)sDi՚ Uk o#k+3BrA]Ic}CbFVWAߔb֣0Y/w[$nzmT1tEn Yh F,ǭp qFON ^ˉP+ sn_*rල7; \6 rn)%DZl(TЩ^{tgH 7VY࠭{4,po/ZyO,W:5^V,LNʺ<4 @%lnݱ YoP8,W eair'ٍRrnkֶ9p4Gz5uPP5#%UQDFf*ɖF0 {Q%س]xӡ&_;8ܸ !eH1/ǻ6ECkoI8tpKi52Q<D+0v0ɗǢ;S22va3sӿsˌ>jǥAj:<{k< tЅ~2VD\ i9y?,X+C5Oƀ!7҅ [V9U,zZW^ Ө'}|yxm>-ʑpbbNJ,/"+vǺi3A5TSi8ނ2jK2bM]iߺH{w[ рx'FASޫ@cw;7ݱV-0OYbj2; =bS'dƹl}}&ˁj[hj{AKg`l^UEe$#8 <XmY}In+ ѻ/nO\:̝M'WcW?6``ڌ