SQLite format 3@ .  B p--tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "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 KK21 |$ ]S HOL-Probability-ex:threads=6elapsed=28.208cpu=47.200gc=1.576factor=1.677zXZִF! f]ŗXf1-q恈wX82Γf^en_s9@mћ QKQ1dy/@EێҺFᅣt$nˋw+Ѵf,$H3 WD=x{1PJVԋqebzC紟} d\b>lWgg>ͷ282 oz {nGd9ZV)i>]9SL+;X@~/Oi`&jW4L:I}qs|.\K/]1g?H(iƲ,IRw[48%;dԱgYZ7zXZִF! e]ŗXiɟ11?E'TSݚ_!}M >輫߸׏9dk|NY;_쐤X5# ?OMH '- |?;zVGJ'1ZzN[ Ϸ" ˂4y0p%+P$bJ-w^vʓi gYZ7zXZִF!  ]ŗXi%>wĪ_SG6mT ?EJ)\*b ۏ1.P?r*wI,}s Ǭt;sX](C',/JώI"@f2;6V?Kㇱo2{k`ʬrS E';~Q"Y+Q8ޔ('8CX|N_$Nt؍]xk&vDoߖ8oՇ8tᩯY$kp,Yp칆G5EC!E=GzKnRi .nh$f3(VNy' Rݸ[䗕CQ蔀>o6PG]lO7} tAI A4Z@sIM4Y j,ݧC2UwƉc,m@T-YȜGIfoTrkuk +K ^EUJ!@򩲬MFةlV_G@wА&uyX{nȣtBј;H; B[%?N G+),<b#;/;S:;@bn5->a PLvA{\ նx!b<OFHp2L:@F[">ֲEjJw*i'-AÜQW^kJ)fm>嗸šp'/|09CVO6eL}/ %PxݗxQȆ-Ad\$+Ő8b9!d!E3, ZPï}+y|}7k WsGfMsr4tr7v~