SQLite format 3@ . BBh77otableisabelle_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 U t\ ] IOA:threads=6elapsed=7.124cpu=28.532gc=1.136factor=4.017zXZִF! ]ŗXf1-qN50^Xݾ V'褃)*%\i` ,;K C gޟ 㞳Hj0.љ)`K>9(roI\|L. hMHhBƦ@+HVJ1ԃB+X0qҦ {/}E!gI5F8uKE=?ToJ w$qj3;1/6TCg]{d;ezz4I EH:{Y:!Th6tI%W;|Unl%h3q k-fʷJ珽U6gns=+sVZ|cwl&i77gz]#6efj yW˨ɫrF!{r`QhEgYZ7zXZִF! `t]ŗXiɟdN'LvH۹@TV/c  /@];Y̮rs`u ٘gc9̅bf"U3cE _/L,/f5pf--H2Ne tD }6}وC2gj[ܡ8.TY21z:un^PI9ܫt^f71kC"(g_fvJM~ .{4CD+<ⰌW6)dX/Oc<4wSXl 1ބne+_׿N3ȝwC'I(t61fW#Pe9uW%bO gYZ7zXZִF! #Rg]ŗXi%;Xe12?SzS&/N<^kR|=6SzbgzhH!(˭=Yn>E\=z4Een~')W;nTj[H_S^{TJܫ=;&ULl~+[}bs 1M+7[H2?C uMq܈RQcvFq*'󦟪Mqچ_Дk l7<^5$g0#:X>*/YE)"dp.q-b L*zplrYiޡ4u`JGDKQ8X?Ga壍e['vtMY$qG~[|r!F 0W 1sV߻>%QH!m{/?{~j;ѾhdFxz M攁/5.U6 ؽY?G]YoҔoYr3tn,XEDMZ{Rasj. b]үCɝЉM2x!&j%'_qZ庆