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 S7 \$ ]/ WHATandWHERE_Security:threads=4elapsed=25.069cpu=89.444gc=2.880factor=3.577zXZִF! , @]ŗXf[&jӯB: ϨGvAq#2QxOJRظ7J1TL?ۄHbt^?b4- ܕ1HӺT "%lb!Qp'.yjyiE,tJg_bMTIEWOo;jPd( ׀nOCӠikLj[kc1ΡXhn`E*[xivnm/i_/b`dDo8u^bVw:PA)I&/z u޾s=ʥ 7 WHATandWHERE_Security  `K!K *qfD[۳a,mgہ _U$QohZYb8ơ@z^F$$9 ́r7~] !iX(EӲiOE3j+_ؔ]hqz=^r^CvݿLyOQA߱69&$ATMJH8iӏ&4n* 5mu _\UQ}r3kxil#ZخжG#)r,Pzyy1F:UEo~?2u&u벊dke^X9@(y} 3.\嗿%ԙ ;1P \v.!Pe>uּ0s`8Wu# v 4RYp3n(5k.ShxA܌FUa]]ZVCh o\ 9:|N 'Sj[Ce2iE84.UK_(wчt@9|[S1g4q`\,{W&E!ſP H ЧëվD\${x`0Ģ"Dksx^E;s$=&H{=8=o)vsr,}1*X݀L0&R^뒒J*sb vγcbyQ@ XȼlLD_h˻fO-v隌D-0(ۨ'.YhF䩪F9ȗnze"q*XÞۃv\ -k6C RQGNg.[:roYz]/>¥:IB[U5I2"2 „>&nr7G!espQH=Ἑ1;b`Sw"Rշ6J|$1o%J\rMx>e<%a3"0 dU9Q3izH[BށH#,fbwhJwv6gO&vcO2SN@C,:Vy+ kA0Q TI!{R&e+ Ȯ~VDW`pp|›w(,Ë Hq,u]?~gMG($#ogDĥ~ȡ8`v4k7Θh TJj<]@hCHtPh*Y|bPXc5N5/q %!!|5z<=5FhE31 ڽ S19þmrzi/q&|IGU_~uʤr42W< Mߟ7f! IOoCb4EWTd}b؅(5=Dkes݂ǨkgS=u)mj:א4|&b-6 B}UPIhibޮQq =PhS2N`8A &:ܛEN "m6@ْmj}X\A=i8ZH|W<%-!,{3 Y~F+tЯ.0Œ哎sT'.Zޏ@$\pG\lˬzoco ךuݕ"(Oyg ):${r:s?^p 6EЩKF۝W3Ɨ|#3RT5 0 Won㚗8*-Ү u۾|ٱjqZW|2\cP)9rXcr ~[C 8~A:a`/(x֍BWGm'1?$,@2*iK˶ ?/hov( !f}aY-'{R^J^t|r}39R(k;xE:fwr7鹊ucif`F1_c.[P^8iOvw(sŃÂ802c5A/E&L%`gnqfr `vѲ+HU@j\%SiH&$&Ae;!e q-BJ54 Hj;3h)NxLGu2TIe$1AqJ%o`/FՕ XC!\gۣS?˝TFWr |F i3 mtjrm@Jp=bzP^jhAzA L'>?ˤ x[FdzE҅Kkyca2ˉ,ݯHns* fX5.+ M qHd0!UJa\;|dQBxj@Kdv~ )^s'BGΩ[w/KF# #*{%:&D 6%cdQMUK"|ރ+snKRrhT U