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 PP--pdL ]S HOL-SPARK-Manual:threads=4elapsed=3.666cpu=8.564gc=0.1847zXZִF! \>]ŗXiɟH)0%o}]*_y{8 }Svq&"$ Q[0U&[$OGٌ^ݳV ]>y)ɰ #hi?];:_9 yߏU+߄%9S 0'f'M?i)PJg2%'ŖRk-. mdzȕSiP B|c=u-FuY1erE6Z`‹y ċ!OU :dflikL:ni1EaTS H|Ɛ[cÆE*vG=AQvjF[R1FD3<ʧZtYTMN[@'\@tF@a&C nDbM.n}Ꮚtl'|fp4-H Qbi3~7ify[ uPng!"OtwAˆ8م]  [+քzK0%x]#@/lޟO/xW׻Ojxt&z$H;굜s p9.cO Y\0wGEG݌g<>sO,GWJRMzG60 {s k+fA C`^7ԲZWKF .Ov^dj.3StdΪ ׮b\^Il!Fo||xm`QɾԘJ明sᕄ (c!4ai@!&v>,Nm i؆-ƳFScI + $}Uvm5[Ө֯TMXhO3wKY*kfܱ+^@' ![;GE@L\V@l5;OY0O YM(=AeYf}\>eI2ڄ! 3-B& S&$Pö8?FALj7wkz IYeHybf"$">?Yu :gV#+SVZ.aú7xb= aK3b*VG d|Jw_Ͽ  -|Tҷo"m&>UCXy_c5'"W( a0\_\im<֘aѧQ}粻6Vv 2sBtZp(9:M+5=YA=D7 B6hfNT/S'›0PGU6sڛgiuO;1&6+8_*BhpS8_W*KF4I!zw yùԖ],b@6,7I!ϢPI[Hzzs4vj^'Lx >j>CO5UzT5B薶wM44Ona.%#L1oU($S:w*4H3_NKAG+#hcã@,'aaa4MeHx]M/y 69q5 lR:C.E ƹd>t?Z,|)^).ݑcaIE pDcҁʖϵ"(U%пպ0eU-W>LۤV~@6Խ==G#&Nn?Lpy]]mrjuf5p7 _4#B]߀̕LOo^{-j"ԷHz