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]7 indexsqlite_autoindex_isabelle_session_info_1isabelle_session_info c3T44 ]S]Probabilistic_While:threads=2elapsed=46.427cpu=79.976gc=2.404factor=1.727zXZ ִF ! -d] ŗXf[&B[ |c>7/ Y~S7G,UAeH/FM5%=Aջ:Q*c 'p Xȝ~8ݺjlxoJ[R2PږBv 㙕|O`8=-_vퟷY,6Jk8l*P:n8W+pst=,|g߱JPF̛u}$"L49D3`۲l!z~]bQ`U@Zn]sKqҞmъip8WcZ ~u> d[Y}]I5DP(SV|
+ǠpgC SpI+*7` -T*"k6`Яg?n=]![eFP};2LfUG!R1xӋT
lCr6ws \Ҡ |ĐA2N=8jQ=CzhWT>!yCH脱m$+%h**$]zIiVeyn 5/seϕ@BO[+>b4JA$~:"LE%auQ5ӐK8Ȫu^`寍t''uܬA{VjDF1SJ,i .~o`_yH9 愊7p.>q5]jֆ`_[l6R( غQE8Ԡȼ
3 Probabilistic_While
RfO!ۃ+٩22[X4\QƠ"HsgZO\(q@ ?NO&W<RT8aK~Lhh_Z]q^1eu5omV=ۻ;z5HEF;gD݅j(G
2w$*:9MO mk_7zh֛Ԇ=6@JZUtNANŷdztGY1X !4N1s_i 7JguԒ6CXn$g}ҷ H'Gstz()4ֻhOvh!6hŎg;F nyVjܜ9Z;Y%K
QQ>."O (~evXQ s9Eq [ q$g YZ7zXZ ִF ! ] ŗXiɟ1˦rFܬdyU,kKBnY .s‹:bji`H
sz8{9!{>iA_;AjHn=E ,Rsh^GUįp+>[oy )9:Ck6ŠI|?tac?<dUIx5mvR?QwlBĽ͝+%uɫ:#,5.e^gX/~aש_HU="VoXGYe[U/x7U'-g_K{UP,-?Qc4~֕JAX<6 R_FZRKjLYo^-=H8y#]LCҮVnf`^4Sv']|m+{Dvxa j9mS{n}4]VO廬ͨH|>LwBƻ.$gKt^`gfrqK[(.,vƅjvD` mӠQ~3
Rmg YZ7zXZ ִF !
] ŗXi%>g21ię7/ Ny