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 44I1 ,, ]S HOL-Probability-ex:threads=6elapsed=7.453cpu=23.832gc=0.964factor=3.207zXZִF!  ]ŗXf1-q恈wX82Γf^en_s9@m9jx5n,-[z TOR *6%ÎT_ws413ҊXOjtzl˽x YEUSLb0IZ '*myME ~R%ˁw=%$ձcY)6MD@{0}bmS$]wl̓Lt>/ Z8 c=hx ~ , lkFB^G*U՜7` O+3 ϐy|Z9WBBݰEږ MBY|!o ^-V"Xbe:vP$Y DMX/u|s "zQ9] ʆ c4⺈/ָ3kz9Я"|5O1 OA&$Xh,pggYZ7zXZִF! e]ŗXiɟ11?E'TSݚ_!}M >J˾Ea9:<|lf>:1CXoYhG{ ^B@5= y6ɸ>Hk,#7PcX 5d,MR(U";$O$Xn#M gyćpgYZ7zXZִF! ,]ŗXi%J \[EHrq30/9^|6WhRG2F`moZ`>2v(S2ȮyUA/P+!Bͷ%KU>M)<{$e,p龭&joK\lK4)gJ)@RrIϫYd1g<62 p\_$]xH%h[;ӯ|+n#5Yi64mxs³w9e3IQ.U]~V䰬M!#4\_(^n4d8$,QAK L H S!1ǬylLO$7-\ǿTDɒڹ?$Rj2{$Js$'r r1Tn8㦾8h,E]&AS*2tlzJ*9Hi!c0GkzS^cF_t cMNOQuIثtݧNP쀆% Q[Z-'k"n`HlN@]gbcprlђe25{-L k׬)jcr~t ɒ t( W9BA>A,c: M{T .a