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 (1rL|l ]S HOL-Probability-ex:threads=6elapsed=7.459cpu=24.384gc=0.8647zXZִF! ]ŗXiɟH)0!h]F,=4f|zaB|`\>F"$v^&oӥxJȽ5q CCq+qSx"̨;ɴ4fx×EG;o펙¥lŊ]mؖm \3ȼw5q-s၆ *`.roR>L"#x: f׊pG:pݘ=c./SC,H? yXzl&WC8_EK̯& >a̻VDa$aOb|{W= p# hU.4h mH(Wb2xN91g9Z^YtЎ%$ej&*#z;p"/w_SY0ҽlz]\c((C$ɨ~D@ꄨH/FҠiڤZ<`%(!4gYZ7zXZִF! e]ŗXiɟ11?E'TSݚ_!}M >eF%9n_dXLQ4zoD;8O?}U²\)_6WK2v2;{ aT#r͢jz4a]72?׍o:aO-+f>G]ЩmױgYZ7zXZִF! ,n]ŗXi%L*٢է@;ΛSڍ^?xD ǭCv!ڼۻ][ÈqXأGo)d}] V3#uwA /)歿G jAYWj]_=Ъ[]WR>[݅&wɾ^ Tƒ:GsFГ31 lfsO)bӫ1%`V|4yّoj o2EǗ\k@tE @P S&S V<~⠐8(a#-(7P:vt-UN̩ɐNmG}LxF?!"ieT@] D4owQ-btCYKөRS9 2S[U]~+TFQ* pJ ңe}&-VLGjnLW\iF_,b}(wsժ}k~ʢW7ʓ߼=[[la=E WE{D6K38|rdॶh8,TJIyI =r*%+hvB.2+A F?: mfP S]>媊 N