SQLite format 3@ .  B p--tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "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 &&W td ] Isar_Ref:threads=2elapsed=10.121cpu=16.044gc=1.184factor=1.597zXZִF! Iz]ŗXf1-8>l޷VO +҄RXۼfxAaο0\׭N ckߨdI @h  }t^>C+Ǩ"NW[]|Qgt@N*bcfje4jFz.bdj˳k@ ?\T/*zq0n,-!2"`mfk4L{bezKw4eDQ_PI]|AIUt+(5x-9bkI# *KT (u 71DnE추$КA#Z^%{j1q “WAJgYZ7zXZִF! 91]ŗXiɟ]O5-|01 Wg9Ъ,=DPO+?,s:.}o{PïB0]@n]! Gs=U$gqcޜ}q󼖖(=K\6m`z U:tH1u.HMՙj>8t#DL'0gBu\"ڃ[ E1{ijOϮI6u?hgYZ7zXZִF! /i]ŗXi%;3][@d&-f2i<,(h+nŝ37b嵃r_KÎ0 v l< ;x2 =gN\Zʖ75_p@}kdDe74z~u (MN(?e*cRGH(1IRu|#lhqGw3.m)_܅`i/M;27Xls&Tov%$ؔsq1‰Eoȶ&`K@},zc";4!̖ Dn|t3+!Jz1W6;y$ys.(QG0ā<fm).5{Midc:j#vjY xƛnrz1siLx #zDQ F2bO$ݽ8NJ*f}6mÁpPZhj/H! "P`Oh-1|e%@v~v%%J(dmDv X ȫ<~;IznmA5Qebo(1x_PgYZ60a3d4e8a5d11f67ee980351082d5172aa525d3161532b7245075d4ea33812447b32dabbeba07b4a 3994299fe9a4f467e063bd0b975546ec5a4970e5 8f4ec66b19b03b756b2e7c2505a372d748ca1c2d   Isar_Ref