SQLite format 3@ .  YYQ77Atableisabelle_session_infoisabelle_session_infoCREATE TABLE "isabelle_session_info" ("session_name" TEXT NOT NULL, "session_timing" BLOB, "command_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 C+ L c/ Euler_Partition:threads=2elapsed=14.726cpu=27.272gc=1.084factor=1.857zXZִF! E]ŗXf1-q恈͐7ӺV d>`;Gؽ8n򭖈:)FuKȾ"1-I!zKy˻L!ݕ<O%0ݾs?u6vӛE҃U-]c!Z*K3KtQV#-h6K>z@;sFę̓mg 9Մ]]2_Pjl̐GTj [kt7N-L[Tp ͭKJM CDžU`؉(qi"&z 3oj\948\mϼ"%nG6vt6p/gksȰSj<95ڡ01C9Vmv+?,R~ȣޗ,N76N0T )M &a4S}d.~[%y3ٚK{mm]ʩ ӟgG=(VT5`տ-*H?N2g[ L)Bۋ.Ĝ m0j`Xx(@e~$(gYZ7zXZִF! T]ŗXi%V&/8k%cUIl[ _oifDFܯ`ND0wiٞ0V| G9,WQ~BH4[BkhGOq=LK(=_! S1ˍ'Hұn 9..vJRYhv] 7) <|V8LqЧP- h%iz|W:?^;tšgMĞAl#ћ/[2#Ѝs:i(to1o/hnRB: .ͱ=.ߌO<" 0uxVoD- \zM؏ak=go/uàA(Q"LPb"9m1)SQPIe<[;FFoG=\=fpPwwۥ $1uz dO&H5GphNvY$3^e3rW*JBэ=;#̩ GYN cgmt.QXr#PC4¿]!j!z\63E)CD'Bd6 G4yL%`^e4g[_Kx A~ V~'"k`ykW im%KQQdWMaf$o(H%@C~5/ZIYg?JdZc,Y7`#Љȋ4^|^v>ju4Fp!tL].l/4_1OjAu9.0H!FU[}nngb^k 'B=f II?: pDߏCX0:o0#~Y/veyC͋p$ \oqig 9Jw#!?;rU{yzTCo?Rsgpmex0g6dhhǶ_D7C? LOU FhZdO4JrD {x{RaS6Rpٞ 05V*p1LPeI dX26` ;s71<\9H&T}9VW.wu>ZRA#AeH[a*O/|^z=TF)v%f xQ}2 2 gYZ0f83e9379368d232af1423c3a9685e6e1cf74f88 4dc5dcbb173c1d4a56ace0685a339a50db42973f 7062f6bc3330331442ee719da0d76412d11266f3 767b848e899bf51172cfcafea6b2fd397e8b0312 78759369f7db0a7b2e1ca4cd148107e261ab15f1 82fce86746f9061205d625fb926c1da3b71e3bc1 97020981c6aabcd5f9a12344194388cc00a68b45 a6d881014016ac510413e96c94577bf126ea335f be04bd4097d198048a83936accc0a0b3bb132513 d406b5237c82709a11613edc0c45a93fcc03a74c ddf7f141cbe49f6438d63bc3fca2b36b516a85ae fe3d3c8b2a587b47ad44872e673f9926ec16a563735820fbde580c794b275d3f360e30a6d8376dcb f7c5cec25e7da1e133019a5ddbca98ad9c7924aa + Euler_Partition