SQLite format 3@ .  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 , D ]% Topology:threads=4elapsed=4.436cpu=15.424gc=0.612factor=3.487zXZִF! >]ŗXf[&}H/29#rLhZ1l89&,H'3Zj-ǝ[".510Cd<AϘpK:fyLĶgTTښzx1 W3ٽ4 @B;X*Q/.r|%y!2g} r^qrA5L(ucP^`q#bBwXr$g~ R^Ei I<*pީje BǥgYZ7zXZִF! |]ŗXiɟqHhB"U΅/|{2͐v˦D=S.؂Н} Fe+q$WzE6 iSJ`Y8л:=F;C w"γ>5\48AjhUd U@bgYZ7zXZִF! ,z]ŗXi%B !P.Hͯ*g|m (n5E/$t֝n4S\لzO6;MѶ#je@ Wnyeh{ _^҆,XNxZ];Ə\X @P01~5y:xMIr\VY %Rݥ8zB᣸:v\.Inx[D-WWITA:JbW(ۮ&$'A"{E Ɏ0!;}aVHֳ} &còGMyXI MsjGROn\7[6L@џS# N߶a{QM5oWBir6 oTmQjAڮI$x'l'T9IX u"&tm wԢnĠ"Zʗ `۬DIlr@Q갛ktfB;t .ok(ƶW5<ώkόU-g2O$2}c$YRH&}%V&ا;j74[qF_M+YwoWJdQ<+CY ^t#=F=zvWHDLSs)oOsV7 +>Zp6mnuTNEJˠ?^ Ex7<05W92fr8 S\:dfP6;dz eW4,0oARXu+#!IhHJN<9Oo/zB|>D9Ǥ;[>RNXa _enqtKaI\eIq.h6R}ڵ7^9+%EۆI0*# 4 OpAkPHrm@݋B`qߚhҟX{w$gYZf4d0f8b921ed0667df097f2e0528679a02ea6e33c3b947847b1e58dfe1077ffbed892968d4b16441 badb05b9f5040e431c6534bb870828cec160d71a f68a72c977425ca249c872eac11835e5323c220c 005cb0de6b39b5f1f9153f1dd6a340ee1f098f94 43cc344025a5b3f9e9a5e56542f5af92850eec11   Topology