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   o3 |T ]S]Applicative_Lifting:threads=4elapsed=24.837cpu=75.856gc=4.096factor=3.057zXZִF! 8]ŗXf[&+Q0GhweTVU1T=pC,G=܍MTn݉E~Iޥz&D> "tm<̌<9 " d"@ 1/``kI |='xHiuUBVЇT.0:V:-oA\G8}/`w7;1S}nP(H]N0C%!,tyi;8*W9?P~4$Hz+ "* Y M75B1͆f,(AjSz9`M5(T43W -#Evw!qӽA:?/*: 55+`B.P:9\ M=['S$[2O*w3g1xd Mń@HS`嵟3:bYqHc1F}0o7&2+0wn.sC9jaOy4bWKqYUψRj閨TwIŜE%i ?oN,^ΎՋ7D"|Iʜ;gYZ7zXZִF! ]ŗXiɟ*Q?rͿY!?ID(@[YJbn7-~ C$cLPG̓|aksZe4 qABhwL#|d{ˌ~rBf 2-Cv"XeyFjt2*F4ܺ;>jۧr ߗ`jAV9$k1|@jO;Kyx(pHFo+Bn%7T?n: ѿTH92Ne@^矪H]tNY\_ipQ=mp/Z 3_H9 'kcePd?eHxT˰gYZ7zXZִF! ]ŗXi%Bz'7xI^ϩؓk|wٜ@lSj 4eET)!?[8E̅\? Ow" œQW(\i?j˭M}0 r[ȡx_6~Ւv&oyyǃIw(,8L2` zR?OsC~ SE$PS}}t&Zs8Nfxza)iD@84ł_\j {^wwN0~h΀*ݠn$H{3+2V ǡNʈriD:t 'dk0=_0G4Ux\B!p6lu.>´b`hD33"yWhTPmSU"@YAQ U#j1<6O9n(kVغwN5sF1:"}5;},i]<9F$%CZ뵾xix|ʍAx۠`aSIsxsVLF~s5; k3Tɉ~d9~~3-Y [O͠>e[.z4 %dp9Kݦϧw*g&a ?3o =>XG`U\Q/NM-užjJ-Rܜll!%t+L!n%ՋCH5Ƒ(E o9[O({7ĺ&;(ыxx~o+XKݻ)+4 l#[(3Z6b{ܟtMs~4HU" OY&hexNGEU8I8vXcZk Xu; `L,ΈVΙ=+H+Ġl#yI?8v7?eŬS6s\CeW|nVR5b[&տySo7+Iuߝ"-"Zc L2$DQD?!\D>L;@Ul^Ѝ呛!Ti3A"YIeYj ^(^-:XK;Vdd]cg7K{(}dNT %t +E1jIQD] >spFvcl2A0g=rvu`e: ZwML:$vۊ9Ʀ6OfuRଔ^@5XwBchn]t?{ lfNcԛ0ͪ=;;j\_Rr!i#.-Б۵Ϊy&+h8hQ7F)ԧըkZ&¹aᾞ&y Ui.rED%X.T 0r@O܄ ~=%Twq0ϕF|6Kblq*URZ{"/FXwG>f?lPџx$,Cx\iKn){A>]>uٝ I @ Bɸ*eYi%a0/P J]hyܜ5c2Ljz5ɤP@X¡pLlTU$ܢK;~'SZ^Pɦ;uu-tXoxH&񰍧6#ѯ\o,hQ~($|RSc-ѩK-" ] A_RslyQ#Jпca':7#,~eT1KB$#kGGЀ(z-ʍ$t!G"Mw+:Π $8$`n2}~q,M'&ڐ /Шڻ۱gYZffef95d90c2e19eeaad987d4a20cbb05f20e6e413853cc710de37a8d8ae8e2ce10739760530fc782 68e24fa803389d76024c730e22fc9263ebe14aa0 08e29eb03c2ddc23125f8a3e99b8f8f8af8903c2 eff3c994bb1fdb08815e8dfdd79dd4546fcdedbf6538a0aaae5ad34ddadaba2d878d3fe637c27108