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   TL$ ] Datatypes:threads=2elapsed=39.754cpu=59.060gc=4.528factor=1.497zXZִF! b]ŗXf1-)&$c)zaBcFeN};0Hw;j/aHAE$bqA$bT/Q@ɓJՇoJ*}џzNm|'JZLҸg։-~G(65{aT&R ʅo%gDAY߷QV.4 Hɶ1grˬNTb%*䴄2l.i0Iq? +k!L4(mhA YLȈ/.Fa%{|>4:]oy*cxc 4׎博YMΝDQeO%;BTA!bBB8!;"ԋ_ѯO h})y}U.U#e=V ~ N' <ӈ/GmzTW[_0e|SSA$:Û]= JچiFU5)?q2 $ a-W>˂pl\%kJw)~d_\||=|znTs{dlLǁf^m12UXj''vzS;vPTqM`FdM+(CgYZ7zXZִF! ]]ŗXiɟ&zLoAb|JyBYgYZ7zXZִF! ಋ]ŗXi%;NH:0Wtu[: cӨn2Z9ySNM!|q܍#q< X FL#J󄄮NVklTn|˥ vzNq KlǛQidU\rh^r,UB,M"?YBjБS?\Ew,"(MwiMX??mrF 1o!4À(z{1@SGRܹ3 #Dֻ߬|!N[`j,u˸-돌%DܫGոTSy=9F0_қ؂SLA؆Xa˔4}U>dWċfj9+zHbR y &Tu63u_k oo$)ӣV/Vɝp!)=5f nG:<7MP*Ϫ"3cS" &e*9ˎ 2<$&r1 `#꣊O95+7Z%hE#B,)GwM1 J&+ꚾv6;ZzIlMQ>_ ?hMga% K5첾dc1Ou9h']c+^uS3ug5[ m3sv2S(vRaf1}m e;݇n WN(J|D򎦫d:P5X↕wC'O3Mj.y.4!60F͈b6sb>'܅RG;܈wWl;h~3bWsƴA><!ΙtwgaQGdT2A.:nVz癑ճz3ģP}T`d\u j ՞Oh&9C\X7`Kqas)?15gc&7)1څNjYy[!~^îeyh}]M>CHB{ءQH2LѠP0VcMb *Z!'?ś g= h00 ZŮUuZ F ` J/YDc>#ZΪ9/Te#\Rg$W ~96QnAD3ݥ