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 e <D ] IOA:threads=6elapsed=7.570cpu=33.084gc=1.424factor=4.377zXZִF! ]ŗXf1-qN50^Xݾ V'褃)*%\i` ,;K vq({_}F| (cEZw+6ӗRQ8`"B|Q&I,BM$6iu,2. jg2%UL;S54$sQ52w^=Infy`i6T Ƞb.~HUhKD3FKǟ>zr)Wk*X<&[CmZ+p lљk/:rLoiDҖ\QMF< *מTW\M԰ɹ+qNn0X>~zn ^I;yvQ %[µHd>@h~>2Ž$R/塕~Fh5op0ɨP67᝭b  TS@N͍Cv!ˣgYZ7zXZִF! `|]ŗXiɟdN'LvH۹$?vYewm| u`|#'`ゐl+/Fai᧰VPhipa>I o!siFuwf}jER`,ŝ*/Ra'ESsYfŪJG ESp6UG0)02*O}.~1ζ"&p*nKN ԝ @7wYS'}R][%F<=P eL_0VyjFH++yؼ]4 ey[m: ʞ,۽y]jXXAL'^2pO 1{I?@>`]_DSB_g{[,4]X1GCO9KVxmpe#Ԡ{ݲJ `)@(i:jzh$ߝrd~||KȊѪY+oMZhUp[IJ^ѻB1!_yi ;oDpj̣K6 l<,g'jr[e|râR  huFlm1y$lWWq,XPS߆>HQn*C֜& V3rxE}}RwMxTE,NDT+*/{9̻\"R2TVdwwPoO65¦?ˀ7= WK3u_'$V_U7 -8ٚ=Cv@_!ې0`|BDs\0+wY_{C1M-H1b"20Uߋ FzHxUqtӂL,s,iJɚC1FGҟOZ⯬w,8E6:k=O\d3XL0wZ;E{= rS_.41(cBCưk˄-[Fɜ Ş!L^wrvOBJ(&FӰ"!Ǡ" ~DAóбKJiڅ+xEl8-ȁ\Tkd*θ"f &&F.wv7:\u{M寱gYZac4e52bfe65d2cc0fdedf8e0ff2a2060b8b1dd77f7ad79d6f9e93f2b021491a660edb894fe30c4c7 88df4aeb5c420811fbac53319f632128b160127d e13774b27e746a7c7f803abb0256b15b2306f55b  IOA