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  ^ ^ Td\ ]S PCF:threads=2elapsed=51.828cpu=84.036gc=3.004factor=1.627zXZִF! R]ŗXf1-/6vR[1Iq@>=s(qKgsohvʯlӦ cΎݘ'ETur'"zc KڣΦw dʡ0`UTC _fʿbB'@")Owlu8d`UCmJzcTF٢V|D3D7ڱO} F#H'dGq\P˃m \{C3(4h`ÉR_ڙDb6f/e᰽eT. CylQ x&j5OPfT:wO E!ܸYgII=qTûI$eJxͨUuCX ǘmI+͹1l$|߽<(#T +rg0ͼUQOu1*%(&=5JI,$5FfGDD LKm$F.;{{hksOUsv$gMd?56%i(G׈5۲cpKit'*a)&X^?M" . 6g:4g_U!K̄kSY|N퉨N0@[(AvOu"cqo';1u23cbG1;ð!ӔnטMN?;>@⏓Σ[wSF/7B`󒎹L:gcŐmcu3.G|ڳu[>-v\ϠE>WT`6i%S9}jp<Kp%HgYZ7zXZִF! k]ŗXiɟ1˦r*E$O @zֲ_}@a]mdzbŪ!i^^Lid:{B J: j ܕId/Ax[R"uD[DaphVz9eZ!3*"0GR: Lآ°!ܛ|=*GUFMgsp~  JOEKWD}{`ˠݵAW`TGбgYZ7zXZִF!  (]ŗXi%>gTKˈ _5^h|O %jX׃B'MA45 +bP*AO{fl}AڎJ/ Hz4̏Ij D[~U Ғ%"wto5 >ǖ}",#Ȁڨ\ y{uVKfP<"6'zg2$\3m Z 'xqżXO+n0APwHs#;vP ~VQڽ,1>[JB?gwQO[|{\rV=8)Z0o5kPu]! 䃸 b6&]wf:ecHq k`I3x<aqV>cNI(}_[n` epH7p?b /qJ^p1='T5qj"v:wYLө=vKN 7WŬtm`^n$DWmLnQpWGmbu6dv=W4ψ%ƻͬjQ g f)h>KҷۙGj-F|]LTocؘU¨V%'CqY0+)E4{[.; ј5VKggaiDO9[gGN&{?WP#].~$u7ջx 8 [@;` ~}c %/yď35ݼk%BbjE!RQ}m Ъ1q^%ȏw<%4E}_jeRKNIĦn r%۷6y 5xH5ՈAWJedxۅy]ӓ`+5aw>-? @| ֌ƶյ B*i ~{(ڰt4z; !ߴ(KJ,c J0l]ƌ` `鮙*uM|q?/,[fqhVɮ]%^s^=P1NDA}֡WϓP 7E/GgcLxG5/X@4@HZI% (_mn#a)\W(Zsw9+ڤ&G3߲_3`i͔1߄@?8\CTgbD2MΛ]M |TZh_{.Βԁ~<9 eV!Z rRG `mG#4İXdhi; U_/y5DH)|Zcmz+UI̼joH2v)JQySJE(L@Ɉ-VZݑ?yXGG%=jE]s+m HcN'-(ޡκIjӜ?S2)T3*7!`}&CABܣalrOotPƘ>NЙC M8o/هO䥩Iuzjf~j$ ('ʏ_g'KXޒ_r30n"7ޖڤMKJdl(4#FCOO;Vd' ZϘ:?atp>6VlfTQF{qeLu][?ORax00i]/p϶4b8e ȥ+/vߌ3$ym:٪7#0$GD|h\*UVE RkݣDz;qkrm@z`fob  4=qh< qM[P"Am Sısz~9dq-X`۟  "J*/ٿ!;U/dNX"鯷F,LԿW\͟]`tP88@_ ]L6t  xc7TW&