SQLite format 3@ .0:  B --?tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "executable" INTEGER, "compressed" INTEGER, "body" BLOB, PRIMARY KEY (session_name, theory_name, name))?S-indexsqlite_autoindex_isabelle_exports_1isabelle_exportsh77otableisabelle_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 ;;B tTl ] ZF-UNITY:threads=6elapsed=6.207cpu=32.552gc=1.364factor=5.247zXZִF! 2]ŗXf1-WHIk0p䋎dh֨/+aGb+45w"g/jbؾ:v A~G&^`\1M;:6(eaS`W0*^o^*TjO}8 P5l=nm*a(j_,P/ef,w~0V= :#y<}>uUIa 7 Kֻ3,N/D]Wl#AW|Ei!zʉBX^b![-(vAV~Nt߄~l@v?#ͦ۫3^3th>D,<i r#$0Q>/%?PVTș.[+;_]><\}Cj\HKdpw-:V-RP-\eWU.|C[g5 hkj86= "Un,&r|ud Eh-j6B ,U\o7%`*|ܪɈmQ##qJ(of=P4`G`"=SOD" t0gYZ7zXZִF! $]]ŗXi%GAAP9(inM:vN|AWV MC%;(vɝЮb0{< [c/T 3"Y{N#ǁźS!x{'f O. 3㭮>m@cJ*r k_.TFrlϑJ#ܗ,\pRȑ3bi()SANW fGƖWxJ.!gb uULG4 ;Q0WVDI~-&gh*G>%e }`ۅxw񮼅8VNYqen5̦id} T00ι"˔lFsa,v>詝i~,Y?\Z8f$d#lWF5&;yS'\Fe۹D1oU ;nyWcT y2߆2)!`e .Niz$?͌Rupz;&%|@"&-pB? B.Vg 9)˧GOH8=lDԣO2 τ)PkAg i8ÛY<%C/QBN6EgM6JMHkcl$ G9HZ%n\=1Z ]ě<2e-O}Daܝk>oq:y05iQƔx3^@D3r%0mb!]hp٠A:E CO&D _ "bEJHrC-MI`eat`L "~l-|Mgʉ+k$8T `#f}( ˡNDΤX&ßʆA¼ ZEߎȐ4t6;w9L߅\Hx)Za$}%pu3