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 H= l ]S]HOL-Nonstandard_Analysis:threads=4elapsed=10.859cpu=33.920gc=1.384factor=3.127zXZִF! ;]ŗXf1-q恈1`VnȆf ס@rX) -p_)ik;64bs'ImK[W@OӰ੩c< .)8$L"7r<:2)*r6idD' 6[ N?=| f*2Bmhm C &')-sao:Fs.)kÌbd5N1 UZ#r]BQaZ $U+T黖/W)5= l%F}k\=T#) K^ Ca>xsF1wgnza k;sV0ؠ%QW"0.oK%i/cX{t~]jTjzJI2'D6r+WT 'gYZ7zXZִF! [}]ŗXi%H7Ѫp~SBM;_ 9wQ4mqSk)xqx~EGH{yl0j|dLh7?|ޑlANnEݮ(h y#27zDvf'<52e qs̨۶9tJ{ {z_,8*+7x޲QDgґ p N}eDiw؟,/H zSk-ہǔA:U%~3`F{[Ast [=81mI숿gkssFFz, M͵PMGow~ˤf*ގB zq _Y7r}ɷ1<PmP" etT1ԦߍtDn@H)j;m۝ɝ(U*ߑ.þ"rz_ Rؐ/^|P&fZ[ ?њ,_5ăgM%.;{` |yLr5Me3ԵN+r\AV&n?0o;a[?lϯvigD ;{s!W ,ɞ/ 0OzM^d>To\i|uC?{b0<'ewB!2gW̧ND~/ Teݘ`? ې9*yjJGʬ1/隆Cy#VBCon?1^be_8LPK 4 n̙Qt5R%5zQ?jY3Hg/$bϺE- -`f~0vXnn Ϡ|By+,:qf<"0)Ul$Xgmk,|;tunS'-ts&ħ&7Scxq-%f"Lf#>&ە =J,rJZ$MAx%6^Ștw#jiߌP `j=BXacm}[.y 3EJѪà|j_Aws|o@i}x̔3 BHih0S8P7p͹O¶BM", ΅