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 5 d< ] Lower_Semicontinuous:threads=4elapsed=4.990cpu=15.768gc=0.260factor=3.167zXZִF! ]ŗXf[&! ?[Ai.d$_*r>i7i׈2[?&}<KRʚGCbkaMEUj6 ;#ݭ#yW0&'8"֧ Յ!ldj]Ͷ"4g7?jxU% FYO[gՂΪB!Ͼےf5w\+BA>VJ(<o?fFgYZ7zXZִF! ]L]ŗXiɟ$imC?Rvqb(ߢgccvy,&.$UX Zᨘh^w(q}YZ7zXZִF! 4]ŗXi%B}v=k A"rO]]˹Zш4;/e OĚhEHxGrb߁씱2"D.'|L0yy&Okm

'(shs\r&E+z-w48z dS+q^YQ:EZw繓Z /T@O#F8Ja6m9>[7z:Zzs|huIa<:@ %޳n+$(`p/;u+[_ɭ>L^eS>[z`l-H:ݮ(ZM ?Ơvu xp`"z]eb:_5LߏN+za~lP-;1UO3 PTbAgc8;AǷg[j*]Qtm#(Dw1.7K8Hwf+B+-V=%ѫln_k]1e8%ua)6݅3o0*H+[%$hW HtWV VJq2jMn^$1dC+Y]O=FZ<7ҭU6{Gsuh$|Oڻp{ID,9g| ':*L\rꞙ]Has:K"?*w͡dqeIWvB8&%*:Cebx~#LſU2K}4?\3㲝?(ɩ=xd>S$>XmOjzk$\/q #bUlyӡ7k %? DzsW- G(\x8•\Y35m![QZ0#kH2z%Q4߬HUH&5^qQ2;,^xyK1 0p:˾TޤA;'EK+#ܒi ^fgYZe1bb29794b1cf1b308b02f5985ed23c46986889e3853cc710de37a8d8ae8e2ce10739760530fc782 68e24fa803389d76024c730e22fc9263ebe14aa0 0413d6259892f6c071395997e7065d52b3366edd 5 Lower_Semicontinuous