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 P1 ,L ]/ Finite_Automata_HF:threads=2elapsed=17.843cpu=30.244gc=1.252factor=1.707zXZִF! A]ŗXf1-/6vR[O CИRO!,<^6܁|kO/gMRg~ kj'B3ޙId慯t:WaOZD$ 3mxWrX_o7kp>|@"ɨ3ϳ}|߶&F/f!bT>yP OXn8`=7CLԧR m@VꥑLj P IL-Ar ٿ S|Z\SanAkϪUP͗dg c2$|lW(ʝd őt^4uFZtLކ8oYbsș@SfCZ58TfM*1}_Ry.M|mrSJzvTxY|VրC4Z5rD6YV%Co+ּ '":Aߗ)y2 r2Ge6HRn9|.n':ӱgYZ7zXZִF! ]ŗXiɟ1˦r~KunύNN{WV2iA%JJӕE'UlgYZ7zXZִF! b]ŗXi%ή++Up"'1TX僯y8d Tpl^%՝l̖_w (X^.E˸DƹrG M?'G θwQ##1"|Tx]Ek:Tȡ 69dS!/r*@N@ ^=Ўy5Ԉr2.4DM289|2}eEaQd&w1D#P8s3>'DNЋ=2d'qֱRs5FӳNAܘp\5ԊJ,"ƕ߇*ר$1/di{0b]H2uA Vx2"&Gw؂G$ qVlXO>f+^TxXkԩ ^>slLUYb?߉ë]fgr6WA-cf!E^O~cuyl&?:'~HC]K{ZO&:J|vsֶ^Ƞ1/}dW$L& JlͪϪx96:pb_} M26;{aW=$𳵺ۡ*9S![LCb;f f4ұ C+@ ![@HMﻪe3ԩ-I\LEVہ9cI>nBwex=lڤk:/+M՜of њ>#o+rp(?( B*N08ED;a^΂g G]  uA*s1%h=$ KZ@ ksX)iX]ݒBJof|i!<9Ȣum}NHmɦF[#՜#;Ym]} r 'X7w:$ z