SQLite format 3@ .  B p--tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "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 XX% \ ] IOA:threads=6elapsed=7.022cpu=30.532gc=1.220factor=4.357zXZִF! ]ŗXf1-qN50^Xݾ V'褃)*%\i` ,;K 𫻪O=`N@rf(5DBOkj#}E|۳; 73RZX,]Y^KA&4Ms9Yy M]"3RZ/ :Q ^.d%n3XDz}eZ9%6z!4,U^r)똢D4~-ȗ;Np&a&k 61@+xѨ죊ڽ^/~0EaAijOa- cB5ߓPxӋT/Ω|kSHØ>ŊM^ɍG 7JTij :'ȯ(ɇtϦS [_QQ=V%p^= A"~$=N[U0l/U"PVgYZ7zXZִF! `]ŗXiɟdN'LvH۹$?vYeqVug~R|i+ꆴ9߈ T"+4-N\ h<`Y2{(v_=2P̿$8_0*cMk|kin1.Lǣ3UAwECRpelp{3JT ,%?Do>o/YW?*wj1@:&3\ƒdkCHj*zra=d)G ^QN먓[RaU#`%uL 7_zE4M>9fx5(hm9Co`ɯ~2٨ ^OTG YFgYZ7zXZִF! $]ŗXi%> Wtϰ:9/s1I]^49~b0 pV3u%bX5٩:*=)jY1!fg8×ޔ\ mOdvJC~#i6'R^wE.6C+I͇FLch#pv_WizSh dޞ"ʼk Tr͒fV΢ϸ>cv<ϸQWYw䠆MwcqKO@؛+uAN%[gK@]~h)H%duXfӮ jDja+CH=~e;upFnMO.*L+=z, xH~h %W=kfQX$? xq7Kʴ#OCH gYZ0ba10462bdb5a586447b331c7fcc4c632ecd59859562e4e089728e23b6fd144e8ae0b325e248d0f2 2d67f70bb6d3bc3559e2889263b4cf3e2b1e4e9d d6af9f6bb77dd521cd5b229c567b0b5ff7e05528  IOA