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 Z Lt$ ]/]Nominal2:threads=2elapsed=34.294cpu=67.320gc=3.820factor=1.967zXZִF! !8^]ŗXf1-q恈͐7ӺV d>`;Gؽ8nt*q* .#lw gh,jl({n/\s TSʈ+4Z wXHFWWr>g+ɝo'%4%G7}\ @dNw큈Ptz5+Kɥq/CF$5]ǪW<8=< $> f]W0!1qjC,@#+C/yoTRx oJk%}T};R^AHILza8ӕKJ6 ?#U`f5xycJ.%D   Nominal2DPEz_TZZ!>)j чʒ[ tEk1=Ss".EA(Y$LduܪUo%b%B`BV{p7˦k~vc 0ɋ>st|K>'b0hTV8AVsɾI9[tP'×a/vlzu\א1M`Fy)z*Y|nP^ J$?j<3t/jjgHW]az/ru_e42@-8]u>A$ Zo,9ҬmOa LpoX D#3'[/9⦍ ò~O  8Ϩtp@l='/t% zTMA4[y^Hkpܷ85Q)˪|fxp;º} M2p%~RVEAu{\R񸊗bM><9wIn$ Λ%נtCӼyp(sl6^ U"-d"Q@'$WJO*an5$YHPrUy> /RL) }@+fZ&mK85tU/h!=5E0$Iެa⻻> 8&qذ Je ҙTl7>20jN2|_' dT.ẁGjKgxI<[!b?c헓>(BHTgYZ7zXZִF! ]ŗXiɟ1˦r.Hil c`1X14 Zc~|߸wN}&U%Z>P$. Czujqtإ=l|N> ú>>X@[aR=HSvrY.kzޚz jQy=H J?Uu5.QGb`b`zٙp=(j6K]>ίBuiS@.w!z$sng-uYұ{w]X19Mj?6a 6ܡ*YUi6 rgYZ7zXZִF! ]ŗXi%;c9RW\,oq`K,Zgn.|ݩ[gk&9=<}w ڄ#vkWeV1}JhAJ('hP\]ACuѿMM1l\GҴ!SlHLT uzzG7{,I% Y"b4k|ɋT}R $sd:5{ YpR!4oNg7~=FRԅMƶ_Ot% d1(QyZv?"zd5T$Oa'<]6ZtOI?7r[Aw*+d;~h6 QJoF  7h:GuD8yu6̯T-4^?e1aG X' NS*ZNYw;ҏ$ı,ȕ见[U9vQ38< Z At oēDw z$w7ZK p4P=\/7,n. eFѶq]bv:*?@u&(c -:m{-K)lQy[}\?:j Ⱦh⨯M8D1=S*.g,$I<]:i 1z?8nN B0b{\&'p Sm]"iȈ$aD%us4#ޱk/qXcƪ@we^rSfέ j%5>Q3F8清 =8(Y,t=nZҭ{QW9.CMxv$tj˫ R0# y5' npI:34fhj֗oE0 "S* ʝ9Zq-^gYZ039a31345f9a6d655d8813ec8c8c1f9f6e96ccb579d8e835726df87c7b301a8f091eddccadfabbca 3a4e921837e7e81c84e3eeedbf2fa8cd3538b9efd1c1eb53926515458843f9d95d71c554df6476db