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 UM <| w]Noninterference_Ipurge_Unwinding:threads=2elapsed=9.298cpu=14.784gc=0.668factor=1.597zXZִF! >]ŗXf1-/6vRZږech-`UMqď꣮BYmSY"Ds 'cmy\MC}@~#wG`K1eX[-hN. 7 ?R@~h2:f4hFt^>hop3Z߽IεxIL~$79%Gtdj^p5 nj?4b|Y>@U)}1B ޕqlcb`ʔ Qo6ە~jF:4fvИ𩬾$j':&^-`X>R%Ż5E (ݠ!Y9vBW5ci7|Clr|5/oySYlXbZ,)vIR.w7 MRn?oydF;Ra+shs> K0h*"1[⳹.D1})5SW}N,+%2`*OGMR]P[ `' `FfQ?>=R{C%Z2 #M Noninterference_Ipurge_Unwinding,vook0؈`F/C>GbfDP7AVВA0ș/>TJ>MWhD䎄D%c&D0\5wnikW_33BX칐lq ㄿ.hFS҅ΈƕOm]a#|R-'Mx=isGZH>#*&xA7Fϼ4?HFP _HuxB ?| ٽ u6.-dx2Go6`nJTt˛W# #bܙKNSJqPKUwwv?M0=4خk"G[i]:نoh*p *YH;(kTVO'+8wCC%UK܌!6bn1bCLH;&Bg'UUx` :KC85o,~)/v;kx9y-&է>'0E.\yQ]{X|f]_n8k^%6)E } JgYZ7zXZִF! 8"]ŗXi%Vhl0g#Cq&ϖ%}2c.V/%+Vxdߦ|9f%-v&UogRq^#__g$ʬ {0U~c6·hTlV:Q}w!X5εhmLQaلb x|7q:+үNq.)|;&&Iv _,u45Nt[i: kaE#u/BrSc`RG6 0 }iHCb'"@\>l#s`:~Q'3ىl:)Ѫj^2ґ4qH9u/rkb __3PRI&Jtd(k&xM(2ףޫ|F-*0IgNɄqHَEbɮg%1@f6{L\P#I}8Nly*` U GEy1wpOgYZ63b9332e0c2b071f8797a7aafcddf15a927e077b 91942ad783652fbce74e1283767ea8691b7f0ae9 a0209cb008417d27a08a814859edb9db1cc1f428 c571be726e2b51d61550b43ddefaa284ff8eccdb d8e33ce75fbb18ae299412fd2c4c7bc12081f6cb fb97a5a27b8324495e15710f48c01e4a6b9acbbf80f4c0c8eb04f92fa9b72ba73b988fd158f20be0 ea130132a8ab1e832f061836cb5bf296dd9c641b 9908f622908e2068de5d113e87ad8696c1851821dd9a16caf594683cd4286adf6cd2777222a05baa