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 ..O l 4 ]% RSAPSS:threads=2elapsed=21.288cpu=39.552gc=1.524factor=1.867zXZִF! ]ŗXf1-/6vR[Nk#\S\HId/X!(-*GTrhԃ6U}bNpR4= -YM0#B/cLШĻJ~pZCX|S)qi<ޅW9FkɳZ ݜd#SOq&uwk@`W ֱaV7GlG>)zS3ԍaCZ찼/ze;ϸfƙ-r+G7D,z㝳!1Lr= I*Pa3|Ҩ]u[c&Y3"C+8C'ݦ:?nT[ ayfRnM..X 3G6e?nf[#yS Ii9w݋vlڐh=<> ҙ8H\HaF&qyZ}ʢU϶l!IY?@w0w29῕p v}ܠc HZ)؊Մ-.aص7ң;%^(3.X rm8帯؃@{(qߌ 4٩H{g[yZ B~2Й }..@g$΀VdEPn O޵ !޾-\1ewm\/_=- gYZ7zXZִF! 3]ŗXiɟG@~W/o&D#<ؠ;f4ĵj>1IHE,%6Ze܋a RiP߹ҿ PeqO"#X"o!xmq铩{Ѫ( .߲y^TpJ ,`Jno\$bJqu]e7C?Q}F5vQ $Ek\_\Cd ԟmmM9gۇD#HB-dr$OP M̘ Qu:i^XNkKF"n^2C%O{hBPʿ"Os̷. i D_L*Eie(J(/ fpGjEXʕmkff+ h$An&hi"Q|a_#q ߤ1n)e8D:VGFPBW4X $QfPΟ.uJnR : 2-\P6(&%3:W-2hL@, )CmP7_;*Xڭ ǽ: ?׆+_zzD޺?xpWj3eegS13dؑF^ax*ޞXLu 1}!F^yoٰY!R;BJ:U  dLL}NV$LsX{2i!5a*Șy6%8,U|iörw08צ5monWXS* ￑ l &Qgv{WxRW֌ &YP{JӟV\GA lkfd\?[HcW.Ky{ O:r.YoTYD)E@<^n2Ȥ V'7`HjC^0f~d\[@"o\$8?L^M0MmvfA^# Y5y#J )uҶF<.?MA0J)eVxzqm \pi`_gV LWgYZ08988d6a07ea6d544452eeec3a0aca231da13a6779d8e835726df87c7b301a8f091eddccadfabbca 3a4e921837e7e81c84e3eeedbf2fa8cd3538b9ef 8e20ce849646d33245e5b8e0a39681f1fa96c617 049e3f297970e19a2899b66fcc4d730c439cc23c c5eac2f754a4c5fc64b46f3189b41d1f17c394ea   RSAPSS