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 rr  lt4 ]/ PropResPI:threads=2elapsed=15.344cpu=25.736gc=0.880factor=1.687zXZִF! n]ŗXf1-/6vR[3 GoݹZr!WK{;ŅL}s F!=M?HB9edX;xI&P.ԠW=,籿ce=C }BvxvRnWߍ+oe!dVSD6&+ f̈EoG05gYZ7zXZִF! Y8]ŗXi%92C()$Ə A z&y 7E3ioi1Uv^/G5U8y (t]3V u"922ehSv`|~ ˝"UYDlq N  QБf%R IGE_ri ?KqJ*A;#90,+eabkgV b+9%YjԬ! e!@0_ʞifgu:o;,5m^/Qa-ݥ!lX*+# /&M孻oËs! :I>"S ~ :V1 ۀ<ijfc'cꊅL& a80  ~,4TD63;7$< l';6xv=/9;>!fKq$YDWRFvI3j R-ROe'7<яFցgSr9Dȩzj7ϨGKaI`<7|$.Ǘ_'.S5%"0>6R4oF'0t]G|иOUc=9aհ/dq!_7]$3eWF8 3>ӾRi\f+Kn87mv,OXA3M 9{èSۏ`'xI췔gue4^Y H){b+[ _|5UL,q%iG^+,N :w18z&kb6dN#6({aREWd3wQ[ ]@|?aA0J@;$qoCdv&RC5 tpR J# ] 8i0*Rr^)j &=oR V+وZL7֡-,A'&_ƒIc $ (A`Wq^s; 8 կArG:&V֙7 GƬlx7Nf ܣm!?E"e';gQS O!)̩?/lx\j'Q 6hT؋~9 &Ŕ,gYZ76fc21535fb48bdde7187c11ddd86e0bc96b6af7f4bc8d73b6c64716a5747e042c7c9f50e33b4d9a a975b996cb0122f4bbc0d4d5892986a1c87209c0   PropResPI