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  7 l ]% HOL-Quotient_Examples:threads=6elapsed=26.549cpu=40.324gc=2.468factor=1.527zXZִF! ]ŗXf1-q恈N/|p~p%+)</80WkLaAǖf46>Oh[v6*Cxv%7B&GZCQ3G߾/ۜPL&cioH[pa/wheᏞRTSORK4z(-qWl[( $*KW[jm?.߈hb.W r.RQLUty;b>[e݉|+Pnतh,10q jgl psHL>qu!qO]dŹWK96jF6^Q wL5Npӏ%I~WY|V! KK[W{PK&}v8*Uڀr2&kS2.Ouw.oTmJs& 'rIAGWwƥ%= 3\'ؚw6HgLtfnR ^~Ax;<ԑH5Z/gFt[#q]/t8FpH5T-F휨+J- +gYYFG.Qfq&8 H (0d[٣\o_HERR[ۋc&KS-0gYZ7zXZִF! ]ŗXiɟ1TgsC2MуIT.@o\֙X Ugm|T5JV-wo* Z [/:F!N;!S͆s- HsLǹFkmxnH, ]/W%:&&R!^ DY0K+trիdyXN>Z9-ox퉲}_!%ʥiG0-. CB"xgYZ7zXZִF! }pn]ŗXi%9כ8FR,[!TʋzEhRK. +Bpbk\(㔀̇m]ꓒ9KO&@3aݱ` oKq%u=Y*cß8KMZ|A mդF8hZ_ً AʈߖݱTkR.;`D1Vs< '5kgrwj Ii/<YyO_S]![G 69n%aӥ秅E/*[J]o;l3ΤHUo/3ؕ$ZD6׀F!s/qsnH5(\gZh?ʶ=Nh9s!c0ͷ=AUCS{"VrlZQ+SrM;V SGRۨ cyb26?HrgZJ~[`Ŗ{*)/5$k9Wkm?Vf1G,7>Ga98U*Lz !;:>T W:&qzS@ _TOs>F2|0u/Ő#3K cll^Ø᤽Ԃ[;Dف<9!,^eObŃxXwDVˌbr7^t+Eas8To5٨'(@,I| jn}2.^.MRZPYD2#KPfA|+!ʀ }T},Q-s^h`0=Q1nP7]!o/tܴ] ;h>9(UJk84BI6K3Ko2OQ+=nun;it׮Q3*tΡ%LBi\ c8J%i9pZ[Yk; pגǀ@Ky( |6: 4 ɇFB{(fi fՔ" ,AVPط#