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 j $$ ]]]ZF:threads=6elapsed=13.480cpu=41.920gc=2.348factor=3.117zXZִF! ]ŗXf1-) enȈA XR„֛cˇ MC1j6*5;u4v $qdJ48Ӣ$e < Vā+ ȥ </ -ܘjogYZ7zXZִF! K]ŗXiɟ 1FE`u$5u01K\Ӷl#;Pې4䡹@@"w},ꚱ~ xf)`M߉n|^w;<]QV1`(=QdZan  4d[-I@j'-Y:Dz2PՈ=>Ư,(rj. r;n"xoz nΞ@TjUzfEA5.gYZ7zXZִF! A ]ŗXi%9#wse埝uC/?`xxe`bPZ9[*?MJ UC};k8/lؚPCɟQ3WIu=ܑ&|F%#k(E`y73bdPL\/{pzLlیͦh^ ZqJnS>%Q4QXmF"(;t 7=U+k\]O~ӕ*ȝEp4藎)&Or9fbo !F};/isq:(f|(\>񅹢>1B`(m!R,|_)u)o\=e\zAyV>1Y ^r j͝^I֔_tz 'jp6-z~ UKE̲)=ΫUHW:hӜFB)&Qu C0o^i,YZm_Jd`s |N;1V}FKVS~}̘;vJ)9btہ~Wr fʸe>+ }%Y4X%u=_6+h3O5bL6 ( SE]{ ,@$HC |- RF< |9%paѼ\Qz/Ƌ}.n/O59~K p؋ɊŊϡ2 zAJqZC# "GdM3R, )%,jnr{;/ʐT]]/Q`SvLㆃ'Y8|VG9'z.3i*q%Z6 nrC)#̤^D oAb O ^Rk}ҳmvLmߒ9Vt?k~|̋ܖ Oy=%;y+7LP7Ke$LS%NNcpL&t~%gitGM(߶,Ϻ?j*J]0:dH7Lreh:*H)>zF:aA:C1"-60D*+;I|ZYyQR"+/ bgYZe7dd5fcd0f73b8f0d98ca5570d3f4b7c210fcb7e8e59201648d7aa8ce728c4e17f1d57ee228b2810ac2b0382a30a6a7d12b06968a6c06b6e559be27b  ZF