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 AA<- $L ]S]Relation_Algebra:threads=2elapsed=23.638cpu=43.124gc=1.748factor=1.827zXZִF! k ]ŗXf1-/6vR[O9xFuIˍŁ]"*iFYځ_ci;>vbQFn y`\֮#=ߝTNrbـ0r<ΏiL؆?"YM}ϻҚoyXu4Z箳N.9_dz 療Y0,'$yY( M^9zͨt~"_>!M^-OTIbs a9K4+r#07GeTtQJi7e_#]9qzl-O9kF F{NӘ 6ټ:^ $taE)'U-%KZߗz++m辀oY *T/l2Rrh%j: 4q-{In_,_dY*e*܇9nkxL﫢 )Z'`Y"0/S,8&@-Ԏ#-SGOYkTT5~ڍ&GK.pRV힁&y+?_/QP*0ȯnkA䮸;l;f^%5bH2BIH^X=d>1.|a*h`x= wD];%"e2VeF|īZ$kj QcIjV>ap=҃Geι@7uy5d?^=Nڧ :[h)1D'lV 9L\QYCY9> 1gYZ7zXZִF! ]ŗXiɟi-!%h/8mce{L%0 p A푽> x(Z5i35?ƪ ]Wh'Q;tIG +p$vQsp8Q[m0Ѽ<6 C -x;ɽ2Lƞ6JRsMnP-`AOjZ?bulkIw4;3U, l{+U<:ygzt \gw"lc+,~^c_ r5aU?|FSki_m c)񸑑`ڇi]J(&3Vq@H`b~qc6 _QsNߣhࠝyǼM Xn|z-O:k>kG?W.9soE(T{h-IN 2HSvʃ2*.  4|zUzhg̭y!Ah!ǁ^кmBP\!:48$dgQE(5ܓɫS`|paJ73=E`9tAO%}|gN9kųwhP*FBiE