SQLite format 3@ .;  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   d, ]% RSAPSS:threads=4elapsed=14.569cpu=46.932gc=1.680factor=3.227zXZִF! /]ŗXf[&$'ٙ]Z}_8K&,WrCD6\C77S \XeN` UUfQ{XJͭBeB_W>m>6k!i)n(#cSdA[s ]b93mznG@ID艟q'Fwa#t uzj XLH+F:iGd@Nv3Myr::`7dOA&v0[@<:vKk,!ܲ/<qKp(ڙy21.3EXt7V j&jĤGD&/ [ /mU SŇfJZt߸Hz iD<`춄LM'MeU<=,zhA c Sadyƣ: =qKIu,4EFD"X3p 1zP8ޫO8[N$SXx8}k cӕ%maw&/j2/P41֙h 0C_h;'Ñ2ewf̳2@ XOy ;l~TUݑ«" SrC$LjtgИ] D/Qd'q9U]HTaF 1A~-ɓW J 7V\/; }L7MmH0_NZ{feճ7>1nI.f-gYZ7zXZִF! 3]ŗXiɟG@~W/o&!tatY#]3-:ޜ/;E^e_]YN"*$ 9 dJ,1ȶ74L[][glָۗIĊGw"qLS6cQ#Fh JW sɹ"~k^#~HW(}oN hGLTTj|,T)_'gYZ7zXZִF! g  ]ŗXi%L SBjɵT 1n߫KpJiLeq7fgI 7s|-](f o"d3%˛$npLd#^"SZWrŹb5w&C?UeXzӏnbH%]U٣Jt+=L N܎UӅśr%Tm_j0X*] :1FRłƐH']ceP9[vp=[l O.2`&YBM~>o̘R<3J*e26r}~]QkQl3oc7.C8  ,  ,fzc:å0=ܠ6 xGihb(7 8fpɖ Zei [–tnO^(ؐC+L &a0h斲~Jp-Ď#p`L?=RJvw9W ܑ:F8TC^t1D1RH!.6P"I(AW:%SL*O^UDnkK]*n-.\QHozBL"fDDuDO^"(s:8eJ) 0ճ`2LXt?@S%9rZ`,Mƥj\H+|KX??6!+"Ѝ&(1gσ 9wc+4Z/?" ӵ39o7+ 9쩯6M^LtkGn.y-Ks;5T>WI# nԧڸQfE8 DA*(jU !:=wo)k yt&Q߀=4'ZϧAYk)EE;#Awz&'t*ct/x酴@ os?) vt6LxȳPv_&1&sO9};*{3HC8NcdU׶*sƓ2ť~X=WlF1}4ҨTx! ZVf,BG2¶n73} ً]cm~^Iw ߧ Ls0_l{