SQLite format 3@ . BBh77otableisabelle_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  y?|14aUV#/|) jUe!HpcxQ:AbtjE&zY^)(!?q1h`DRsp|ߎI7㍳ķR݋~1;FK~b|+K &u2-Yщ1.?O4*my裑kiq?MOR"l$Nè ֏NbN~Q~75@SdSIm1ϥMVj7.,]I5fLz:y`I~RᵼpL}7P?Y^VIS@6m#9/@g ? HOL-Computational_AlgebraS%PH 8.J_DžaW\9=@9}2U~?ȵ-k%PJw&粘BJ.[Y1yu)d,!ñҖ7rٓftgŵi5haly |ngIF HpR+P -x*tLs~AE(SNӣv2>Ռ 帟M[(6?`% >h|XnƋ@Z,f4zj^|vR WH$W^ Á]JqI>"DIl0hsUq\ (h.qZ,bFXwG 0fVlX)e79jowMyYITvVI Wo2 nx˴&dbEfg!R~_̄u:n3JOQ\UA8}fja3ڊI"2|+#aziH0 ^ADT͌ݫ_R.GJPܥSrPy:Mҳ hNM+B׵,ʖ;+Tʆ?:lHx88Fr dô´H1DDb՘u%b+"ĦRXiPKuA pl#w4*l0zd>)~2z!ֶZbY/خTT.$\iMnKu\&A,$OIkxp`F"nU>x+F16,2=p &㬷ݔxi"~Y)chE<*?ŽG) &-BOTaj7xOҮR^l^1L1TpgQ5a$\Ң/lL(|k uа&ogsxMk:$ʘ:tEpM•ow_Y9I!}rSE xerZOB˹>n6Y즮u鏖,K+'b* M!k6`AqZ?w`(q .Gʏ}n Yռ!ZFJۼe Hmm(#qNFG4\bj]N$l1$oMy*9Q~#"ܡD3Hv,4Aml` Ǭ8 D`ɺW3M杘ISa +ZQyj8 {p8cn""L}#.ڏM?Zy]$B `8F=)O^pul)C;4K?HUDݫ!aLm)nhXه|ڝw7>HKBAÞ/Iަy!q5b\h"ˠ#!Ν)QOkOCO~e AWץ/3sڏЁMn|8SKfV 1gGAm7Bi>#QNsM5%7!rҤI)Vmm>r}A܏ `E j4oAڧ6IUlΘi&)S eﲺVv1B+nCYGJWpv;`;ZD'v:}E E893j[\DA:!Bwuc%bz#֤֒˯ 64'\T _j#fi/UIj(o K/4R&whϟsYKf;ԼxX&yC!Z㊝5me`лrp[ig|§s */M d5CûN`Zd5sQ#?H ŢY]KET_L0HHbMbzX8)&&PB"'ǔ/#O~jZ)J55 1;؉pma6[W%_QGZgCYt"Z8`SBeU;8"%=c17oL+  E6/t-a^9zLӨMn2c4 7躈A.$%Rkc^ٞ88L,~Y\BQw0vtlսm7mK0gFV,Q`-VNQљTK}\JNH5][-MO`< ה;%bߩc.Y굛4 0s;TDcub6:H욳^J`b\(!G~)5D>ux U%DuY2wSYYG"8Ǘ[Ș ^&6&uhXܽO\gYZed92422c97bfbeb285e500a2145d3512ba80f14fb690dd9b4995811857c4fb640c8853723b58ff28 2f035b4a19bddcb32b1e2a5fd47e81076fa7fb4f ef28aa63992d38cae790ea067cfbf614ad2b6a81e77a7cfba9c2221a01222115ddc20601d8045b3f