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 ""[ |<4 ]/]HOLCF:threads=6elapsed=11.962cpu=34.420gc=1.880factor=2.887zXZִF! ]ŗXf1-q恈͐7ӺV w;GOy:Cir8% NVKh^̐n>VVsa"RB%#hhmŪ$dh^۔4D^'L_IyD b#hLU;9 շaeBMmVy}t<o0P>G1pb`Ål1-Bd.<*܄sCT* ux)S9ퟋ( > ŵ?("Jq] W2|PbPR:j)֓>wrpUoA&N]IGj{"(-sO~|j,LZ@q  <0\=zL{i X)TzC_"p?ґ~Ft'_P}Rz)[Q>zQkY"A̶db}\=`[|򹌙5167!}~%LvZ+ .W q) &Q[{bng23vO,IW.8pw8CD6.$[[YTtp#ϱ4kV rhq|2(s;/S Bٙ\.\!+gYZ7zXZִF! W]ŗXiɟ>Ӈɇ9S2]zo~3T-܌ O=Q8d=QLƬ5 zO(24n0eCNi?9%tPGEAC'\Uh.3ERB<#ISZxh=nq +d3XGF~:ׁs dG\$UCJHr8]1:KVr)CLc׬lJ $ ϣ"=QS]e4,Fc tLgc' T"P~?[$WepFۈ5;`_WA9pVDFTo*R #fOڠ UqLYI,6 v[ Yψ ^Z=x?=-'I fQpSNQ[X;.RM?e֦*J0+L-g ўEw"zw,lY>47 iKC]^g$,t60+ %Hէ2((uʞ"oxr/rR$e# q?C@;(Mzr8Х*r_Žg{Nd}yDDkԢ$ s˂Db#:ɅTQɧjF@iɅlimVh"`>+;cy _Uaϼ݂h {[((VW;@g7]Z_j]n_gDɢH(< ڽz _Tn(b 3wشĘW1N ?ٕ~ ]n\5X\qdKgYZ2c585218632b437fa60d0250ee0d0d420879bd49e2bf23c7d7eb3616a6ada91fb6d55c5b24a424db a63549e9f792e863f2c65c2de3f08035d4b618716ede891cdcaf2e8bcf63789c28730e3a2c193d55  HOLCF