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 %+ y_44{݉׸bIk]܌GY73jca 8Noij^@- ]֪!K"ȹogqC!4<QMRPQBۖq9Os `] |B>$7k!|Is49_f&u$At6yiЙYQ@H TK:d)`JdߢDt[%\nM~Vz`|=H)͗' re#IYa1FCFDN jX-j UfTDZk%d,LTj 8d"$Ծqu K%r]95Y"R`,Tq*ja2a=sX n78#ꤼ亄CQ9wO2u}m*I;3|uaދԼ1W DsK?D1LKr8p`lTͣդG "? V)FE.%߶dblFة(pm`&d1 Hf˝֑KHo6F6.;u6/ay>?%WWw$wAI#ɴF_OIϢ*)\ Q Dr:"M-l,+@ctknLd934ȵJ:)(UM@ϳ^aK{B6GnH,n0ҫ#/2Oƈɝ]F<3~8wȂVerX(?cD07Ns-s,h w񪲛8jy``N`t[.%a *:$ʽ()KzG}Hlhċ6PY&ofh\aVJޔwe*g g^>'wDsq7x %䩌gQ~'A`!CX ?VFҍ\uYeyKȭRM/=^ۣ{,"x ٸ,wv ߣogcsm2qqɫ4D1 BDjw>wzX*uxAA4lE.qqJqD& yOvlJ|b?R^3'H*+תd3{Y{$a,8H_-^0'1%/@+HIY!$T${`=..m}ij}}OwKݷ$7Wj\2sx>");&B)^ܾrGI|Lʀ?rO>Co!O^N)#rf;v.=]{P$C'3=׎[j+Ϻ56u0qe,MЏNuF b{x[r{B14$Bnv\$OO bO!ZJ LJ9ĎujWPl'X-PsQ),ydzWSS{BFj@ "׭+YzUdPK'upZcY?6U\sO"tF mZ݊'}NηLq;Ѓ_iS@:U|u=%r'D)r3cĤ&N%ٟ%{Hz#JZ? Ι5i0_ocϠ2lye˘a޾cWc٤'{u[5&S#NjX% g1lLMhTμ'Md߯iFdg&M,ɨ'"YB'. glbM 5#gYZ79b6744bd2893dff04d91bbefe4b33c047f10709d3f90704504dab3f9fc94e3d143d1180eb260c4a 05a03eacc3059078cac786ce4b0187a596b54f20 + SenSocialChoice