SQLite format 3@ - llB77#tableisabelle_session_infoisabelle_session_infoCREATE TABLE "isabelle_session_info" ("session_name" TEXT NOT NULL, "session_timing" BLOB, "command_timings" BLOB, "ml_statistics" BLOB, "task_statistics" 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  # $$ Sw Minimal_SSA:threads=2elapsed=9.136cpu=16.884gc=0.384factor=1.857zXZִF! -]ŗXf1-/6vR[ mY[aCq+c=ޒuD"5,fN^ǍrOR oe˒Q5tΪ)S*3j袚JwGs MI'7C6o9P5{q+.Ik(.l@SYA $+Kkt !p=mFt6yd?티S(1>RAN slᔲ+e88cNjd8R &x[CtT=#p!Qx:yGaB ,L|1Bo+^ggw`[ (z # Minimal_SSA1y.5<~T{>Zt>GRT@rVdJo/m:Q:RHzO d]sKOsՇk}£jnK6={rqtiŴug^cKTOr2f3W*b%GxvY\}6yPQX1gONdՐ 6ȍ?/UKP"0Wdcê-@ZD^g&ů5c /ZVKsbyXҀ['d#z0Nz>zs[]^gYZ7zXZִF! 8[]ŗXi%`P_E';`Ī7mYHd%\?"?|"x:0 4&Ts䲌1La,H7dW}Vm捵/H"zQ-z I3xȼ 7&@ yp& ].qfjBJ1ΈBA>#)>ޠ1z?z}o*+Q;IgD8䇷X4gk7n˾p<"ONͷ_ SRyR* 4~]s.E*z/ȘˁVQ_udiyvB爾5}y+UzG:n4G Q-P,slzS̥x7w>EKFzRW(YJ[zR)儈Qp]Oi#u?Г#z4q;j2NbRli پkrNl ,,%5>lKt _ qh(pDA 5|VqX9$o)TK }K0GF{.K*:EBJ{`*ݾTX9o]1M6\ZFUopTǢB|+_(w>Fപ=*8J\ò[ڏr:{$)D.]ǔSGVl;.n˥x;ys#ckыTB:1Jt 2qUQU~\8bLޞ@NZlU $g׈ܚF6?R%dc/Y͂>14Q.\7 XhԌ:f_ִy>l)Iz̐e_jh[9 A 4_opMGBgYZ71a7fce19a7969a3ae045d5581d29bf46b3a4662 724b25b25f85031217c1ebf4946fa63091f7a44a a1208b8e2fca3865bb7ee8052106beead86e65dc bdc9ce00e49076cf860d0c4a37b3ab7e4f74137407addc2441fed9b50c84968593d4ab6a353bb724 8db62e28615d4e139a28fa3d5b23cc3a3410b988 97c88b7f0434afdf88414f05525232158f0cd0a5 4657d8f2ce7824456475d2bdaff271d1acb64f85 70d9155c47e5494c732515113b8a938b0c5bbfa4 2f38cc2c8d03df51ad18459c49f74e868a7b1b31