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 ++F+ 4L  HOL-Analysis-ex:threads=2elapsed=23.208cpu=46.052gc=0.272factor=1.987zXZִF! 5T]ŗXf1-q恈a.W-cFM}^ׇ/ƶ#j&7 wq6OD'r2'ݼwKΡLܛǍ#Op'a3CZBY*eoQ"u]9|O~7N#4@bڄ !MK=䜪 i8(_R9mcKVرPDC9<=eK8VohqB;P+$4k$Sea*A0-cu"꘿z>O  @FZ^)Qi@ Jq{Vz2+N0+9Db kd{/"A܂sA$}jTL&&F7$峡F(ӗY.zbkvA9~>#VXWY Nn:RreV f[X@b nT'P>34o{ucrDn-F#nnWƋuh"J.r2mڴ*_n.7 Bx:r䝗&" O⢝ + HOL-Analysis-ex G_]7t7KWjm,:h77ЏAZ-M(ŭ~K1=n͆ jtF34X3~~CNl!Z~-|la=\VD4QA:V4'įWH|/ !7ߨM38Nѳ:.u\)CbTK6 OwY֝=@ 'bZ;BSdqȒip=#w. 1V j.^KYK~e9DƦZ9^kڌgYZ7zXZִF! n]ŗXi%Ckb~ރG;4Cǥ?fIAB5[P. e\%2fd#Y-!K3bPۄűN|627JȹٕKőysJ pdJѦX$4ا(sm?H-_V)W)Js3'L,CAD6Z $C#eq1, }]/?4HajuxHXD iti{ $IW Ca6<Cioaz#O{RGXx'~˘~R瞭!p2(Wܩ㴂seZSXk;}U{l=*EP3\5~?-t7a!CĎ] #;#. [d[26t eWvc'޳˘#T'a'51̪:# !-+gl3d50EJZgYv-o^<) ޵~k:.{|,)hfvE@~OEx; 5muc!Eȶ |E a5@j+J ^"(߼3 [ްq.m0xy:2\g# rdz}a{s_nLlrcWg?93/WG3DE%Kkz&PWDqljA[QNHM _VC`S<'oc"F'~`Q?Nrk!IƂt`5}*"\vS x#0pkб]&Dek3 *㎍ B Z{*={ 7׷H!-HF |y,1XU MYUo A.Vz(!ImҜEGv2 :@̙b#ܒifM,[J7!_5m,t 2luBɒr)P30_XۻtctN>x.9ϲQFCEIL %wYxa.TrCPMNJL