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 y) d, ] HOL-TLA-Memory:threads=2elapsed=14.383cpu=25.416gc=0.716factor=1.777zXZִF! )]ŗXf1-q恈&5v~r12bi"wõBoڧ:se8ܶ.ۋE >h x4nu2F8k$r~L;6OB" l\$?a5א{]{(t8fIw̟!L<  !w h3ܵv93n87gSӳ gTv&1& ԏI1h*>Vp7~h ۯ`w DvuoF9/C* w)yirZ*+wG6r`Nl؇gD-IyUWM-赎cԌԖr[k&Gg]n"s$2SM5찎/ST3kNKom:Š4Y5ޱ+9WYᷢhHBS$'x+rgYZ7zXZִF! ]ŗXiɟ1zV?/cJ=HTƳWj8zKWh{ی O Juw půxQ'x"!߱gYZ7zXZִF! D9]ŗXi%9+X$W[YX_j@O_wJJZR텑" c/`\YSO +b~SYGCsgM(F D] e0§3^2<Wk#є%_9SR$]R1]K{#IMy49uMP4^% qVxL~`2iXo*WrJY=V_H4V?%^3T 8V~99AL`~xSrBhW;pLhˌ%y \|a;~buz ".n}naJ Empw~ː{9T up0V8'4`buw+yZSwgAaҴdYg7p}ik4#,{-Pm"čf37Ue0[n&VjvD@Р3qc"{#Gvشd=RʪA)H9v8sӪ0g]wob_d+H'+l1Ng L^Gv)ㄓc̀oOb[`3xly)uߣ "w/Q9d:[n[\-Bcne;WR4ʤ8;3~MƸ"Etɘ5|&bugZd2ml'߬(ۻo67bsA9Ҡ!'2a,:N08BgYZ0170e109f5daeb2f7b9525aef8255bcca2440e0641dfddd2151ebee28efc9e26dbae12c72d1935da 81c9499a7df86d3b7533ed9c6efc8881fcc10f44 eaf592a6f1015871125d319480356c31b9b3479b ) HOL-TLA-Memory