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 k7 , ]/ Coinductive_Languages:threads=2elapsed=19.673cpu=36.252gc=1.396factor=1.847zXZִF! D]ŗXf1-/6vRZyѺ-Gl5M*.~dнQӪԎv5yz: \Y}aPS\mA>ؘ7HTB=JSz=c ;v<:{̀:r Jqւ,/2+Q=dGDH@6lޞ`fNɢڬw#ùc#Gm%aq'sulfe77UhKpOP)ۥ95d^DK'x:*L`6OzbWz+srSֿ0Dj?hF`XQtE7|[71 ܴQVW`ۺlBXm8-BZAd|gE ^~ Z !07Uh9;Wo[oWy`#L?ڈhEs/e@_/'o s4x(2ɱ)j)Vc9&eb|Fzd)/87't&MMT>. !bn$_ϵWq.}O#>4˥IOPq_WTJYMIN S>f,BZvS+6Gꬰݦby_JtY)-Z*5v7p(%vCۿ֮ U1k:VochES>-yN2nmUd*㩾:EQ:wˋ!M~L)#engYZ7zXZִF! e>]ŗXi%9(OXCs5v!]Ou=pz1߾?h,zPq얫L.2Q=5$ygE:1TTӅIE{' [NC :zič]RA;Se aaU=e1_tg-\kӘj3ր(A@|L, f",xHEE25qָxME݀W  .2tAA)iU=r*_{6(Ϟb1QQ7 /ו,WOMf7s@:b{Y׌}2`˻^dh@$YBPaB 2g4}t,Am;Bn 3,Xd3}C#1uS&Ɍ1 -Kb"[fD܏H3C-)$`՘* ex7;{OX :(V(e*e;v9wH[L5N|fx5aoV|Hp'uvHVzNRYUP;.+)#1h4ou'4rTA%^cEB%Z@,3:y aثo9̰c%h) U\NxZM’`6LKQ Tjvo:q%b [A?-f񐅥ڃ`עlXr##r,5ĩqxBa`DDUou@ % 1=@կ ׭V 1S6¡HQ3RF҅ h ^6H.!N\r]tCY~ιy_ ;aF/RZYwK5GlYiu3O7pBPjQJ%qek8-k:NBBӯPDzbba$Ha%o]Wst~y a~`6 /Cv`B>" bw)3{#wU>WK2d:p+ZʴkwR0YDt ٤JgYZfd82d6e97e639424b0e40c5f72920a48ff92259b3bce9911b38b26864d8838a93be3aef5c2b77cf0 d2df9ff441ab15caa535de40de1e228d1854fe2e 7 Coinductive_Languages