SQLite format 3@ .0:  B --?tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "executable" INTEGER, "compressed" INTEGER, "body" BLOB, PRIMARY KEY (session_name, theory_name, name))?S-indexsqlite_autoindex_isabelle_exports_1isabelle_exportsh77otableisabelle_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 k L4 ]/]HOLCF:threads=4elapsed=18.138cpu=47.180gc=2.724factor=2.607zXZִF! ?]ŗXf1-q恈͐7ӺV w;GOy:Cir8% NVJ44U2v)Z{^bL!\zԛ.a8S~-xHFvz+h"Y xQtXyƬHH0`p~l܈On,NĪ~ Pw]wD|ajfyiVrl%lBO4k-c$ KSM٪FMChf1ke`M2ы/xgŽe ڣs8+n~|"xN|-E<O%FO캠)0ZTހ  HOLCF  -X2M5HXkKX/r#qE|fIZ. +z|3 ?z[0}DensJC c; ݣ@6%E,$"K[5I?f]>_ٺs~T)dsp\[:+\pli",mt%Vŵ3+'1ޙRh$.딫w-|@s$x/n@zW!rW3%DtARyͧ+`o wN=*O-r/|rP~RjT4/wAq)UZ51c?3id{}wil=|*ggYZ7zXZִF! ^]ŗXiɟ>Ӈɇ9S2]ͧ } dǶ]dW`ei'G]q/߳̅gfwݑ3\¸>f'bū/"3H-$G 84mM SϾt->tK.O]iqVۺ͸ w|zi|bϕn4cԦ Wi{tŁ>ly谰_B4KDܑw?- S=J7@VuTr|9H9oYH/"gi)cm!"E:Sp'%#4*-7d-BIbR=l<@𚍴BkWz#Uz*TM% !W>fF]ǕJu[AVZ~Ž] p&&#z0XP?6u,6sriV|@=V!%fJ􆯙g]ؠJml/7QC?wDj- Qm_nq~[%}AL2Tp.Q\רnB nuc/._7|Y9 Wxv ~!뤅9ګQg1^` UſGS{ u}K1Iq(9*rHf孬nkh )KڽW$w1gMl8Y|RͻHZC4bcAlPiʤRz`b9} }u".Ċ+wxH3L̠2 di:>K.(q4  FڰYߟP! ?Єن Y+]yt|QV * qI/̝9@AKu&0p}xmqS5qQx-w9Pe^j)ATO?{h=©5]|H&S "sM(?/ ȋcMv] wjLH˖B,IMG Y3!Jr @7]>U";ZnpuF~niK74/[b%"t1