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 UU( L | ]/ Menger:threads=2elapsed=11.049cpu=19.996gc=0.596factor=1.817zXZִF!  ]ŗXf1-/6vR[Ɛpze-&+9,ٟ8cv4LW2\ϡ:aC1m_ _$6ƕ܇2˭4o1#8s@6[cJgҘr7{^-wyя2Xk03>?#JmPnk9s9y⽲,hgn4A29:*b 6A  ;z K>a.zJM-\YKmWp.Ǜ9zz %V\ 3[+U#*9/ H2 /?{\}Ye%/[k͊ߜEpåL1OZ v7SRAUAJq!z: VJb[][F>|7=KQM %C]7eˇ6~-4d4nUGZɦX*V+o8Hg5Y@c(8388WajB]xhT#$kA +8*ŌԆgYZ7zXZִF! 3]ŗXiɟ{A]R90⿈WM@'O2z/jx"M`zW&1ѽ-k9Djj0ԠToy__ϋ9 k; :kj=;͎~ 0V~ebwb:|.]q\`BBrMO(PgYZ7zXZִF! H6]ŗXi%92A݅e '* sD{{qt% b&,vǽݑ 5;&|32j[]}5i,pTw=X%Bnh0ecVzx? GaYX7{%3@>hr15=+d ,yf0~D أMBV Np`XmwPV[{+ 3ki .i'H> V;hnoɬv}$@XX ΅=SrqQ.#PS>My'4HșF:;i٬:û^G wfR 5[nu z$u[JLӺ)[.7} ӡQvGQR3Qb ',LY!i{yI) LΝ]sTg1ThJ43}~ ~!]Lf65nǏMqi<+FnԾ{_9;sJ-g K30.܍@DiOY29Qx)F#dvbgN.Y ʤ?pG-Ja>1^zvK>e@ha>J?,R33P Y,ahpAg?F2Ȓ_UcNIߩ|-\Ywf kVG[\}6(,S= ޭ՟@4Fd phH2=1nJ_CpLLƁ8׌5i Aw[4w0zl vp@/}i=G/M5'hYD>ߨZ绫~-=F=*5L'JYu [Z|~PaiI:qҭgR 1!6ϘgYZf8fe39b5d4b9ab982a654f2ce4d5f615a71ec28af4bc8d73b6c64716a5747e042c7c9f50e33b4d9a a975b996cb0122f4bbc0d4d5892986a1c87209c0   Menger